ARM virtualization: performance and architectural implications
Xen and the art of virtualization