Hardware-supported virtualization on ARM. - Prashant Varanasi; Gernot Heiser (APSys, 2011)