Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework

  Abstract