1. ARM RealView Platform Baseboard Explore for Cortex-A9 User Guide, ARM Developer, 2023
2. ARM11: ARM11 MPcore Processor Technical Reference Manual, r2p0, ARM Information Center, 2008
3. ARM Cortex-A9 MPCore: Technical Reference Manual Revision: r4p1, ARM information Center, 2012
4. ARM GIC: ARM Generic Interrupt Controller (PL390) Technical Reference Manual, ARM Information Center, 2013
5. ARM Linux SMP: Booting ARM Linux SMP on MPCore http://www.linux-arm.org/LinuxBootLoader/SMPBoot, 2010