Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones
analysis of the intel pentium ' s ability to support a secure virtual machine monitor .