Platform Device Assignment to KVM-on-ARM Virtual Machines via VFIO | IEEE Conference Publication | IEEE Xplore