KVM/ARM: the design and implementation of the linux ARM hypervisor
kvm: the Linux Virtual Machine Monitor