Schedule processes, not VCPUs
Towards Scalable Multiprocessor Virtual Machines