Hardware-supported virtualization on ARM

This work has designed and implemented what they believe is the first hypervisor supporting pure virtualization using hardware extensions of ARM, and evaluated it on simulated hardware.