Hardware and Software Support for Virtualization by Edouard Bugnion