US8789042

Microprocessor system for virtual machine execution