Michael D. Kinney

Method and apparatus for quick resumption

System and method to optimize OS context switching by instruction group trapping

Method, apparatus and system for bi-directional communication between a virtual machine monitor and an ACPI-compliant guest operating system

Emulating a host architecture in guest firmware

Method and apparatus for reducing the storage overhead of portable executable (PE) images

ACPI communication between virtual machine monitor and policy virtual machine via mailbox

Supporting legacy operating system booting in a legacy-free system

Method, apparatus and system for bundling virtualized and non-virtualized components in a single binary

Effecting a processor operating mode change to execute device code

System and method for supporting legacy operating system booting in a legacy-free system