KVM/ARM: the design and implementation of the linux ARM hypervisor
virtio: towards a de-facto standard for virtual I/O devices