KVM/ARM: the design and implementation of the linux ARM hypervisor
NOVA: a microhypervisor-based secure virtualization architecture