I thought about this a while after this, and yeah, I'd agree. Although as far as scheduling and IPC goes, I'd say this is less about "raw performance" as taking

I thought about this a while after this, and yeah, I'd agree. Although as far as scheduling and IPC goes, I'd say this is less about "raw performance" as taking a chunk of CPU cycles and better utilizing it. So a VM running under Linux/KVM could experiment there in useful ways. There are still new/tweaked ways to manage/divide raw hardware, though. Stuff like trying to reduce UI latency which would be hard to do through a PV interface and needs bare metal.