[throwaway000002]

> I hope they support Googles VM threads while they're at it.

I saw the slides on the VM threads concept. I'm unsure as to the point. A process essentially sees a virtual CPU, multiplexed by a kernel. The point of a hypervisor could be understood as multiplexing things (aka OSes) that weren't written to share hardware.

What exactly is the point of a VM thread, which I understand as something which makes a VM look to a kernel as a process?

There doesn't seem to be any "win". Apart from perhaps making implementing Type II hypervisors, like KVM, easier. My critique of them is that their TCB is far larger than the Type I kind.

And all this for an architecture that doesn't have any legacy binary software... very strange.

[phkahler]

I only say that not because I'm convinced at all about the concept, but because it seems interesting enough to ensure that it's not excluded. I'd like them to be able to run with it a bit and show us more evidence of the advantages. OTOH if supporting it is a bigger deal than I thought then no.