KVM/ARM: the design and implementation of the linux ARM hypervisor
Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones