1. ARM Cortex-A15 technical reference manual. http://arm.com. ARM Cortex-A15 technical reference manual. http://arm.com.
2. Intel 64 & IA-32 software developer's manual. http://intel.com. Intel 64 & IA-32 software developer's manual. http://intel.com.
3. OKL4 Microvisor. http://www.ok-labs.com. OKL4 Microvisor. http://www.ok-labs.com.
4. SYSGO PikeOS Embedded Virtualization. http://sysgo.com. SYSGO PikeOS Embedded Virtualization. http://sysgo.com.