Inventor
KINNEY MICHAEL D
US15 patents
⚠️ This page may combine multiple inventors who share the name “KINNEY MICHAEL D”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
INTEL CORP
11 patentsUS7937701B2May 3, 2011
ACPI communication between virtual machine monitor and policy virtual machine via mailbox
INTEL CORP38 citations92
US7571090B2Aug 4, 2009
Emulating a host architecture in guest firmware
INTEL CORP22 citations92
US7523323B2Apr 21, 2009
Method and apparatus for quick resumption
INTEL CORP14 citations92
US6961848B2Nov 1, 2005
System and method for supporting legacy operating system booting in a legacy-free system
INTEL CORP20 citations92
US7480791B2Jan 20, 2009
Method and apparatus for quick resumption where the system may forego initialization of at least one memory range identified in the resume descriptor
INTEL CORP8 citations84
US7904903B2Mar 8, 2011
Selective register save and restore upon context switch using trap
INTEL CORP14 citations83
US7676800B2Mar 9, 2010
Method and apparatus for reducing the storage overhead of portable executable (PE) images
INTEL CORP13 citations83
US7334120B2Feb 19, 2008
Firmware emulation environment for developing, debugging, and testing firmware components including option ROMs
INTEL CORP8 citations74
US7581037B2Aug 25, 2009
Effecting a processor operating mode change to execute device code
INTEL CORP3 citations63
US7243353B2Jul 10, 2007
Method and apparatus for making and using a flexible hardware interface
INTEL CORP5 citations63
US9262178B2Feb 16, 2016
Method for reducing platform boot times by providing lazy input/output abstractions
INTEL CORP1 citations52