Platform Device Assignment to KVM-on-ARM Virtual Machines via VFIO
QEMU, a Fast and Portable Dynamic Translator