ARM virtualization: performance and architectural implications
Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones