I see these on your development road map.  Any updates on the status of them?

Development Roadmap

Microkernel

in progress

64-bit ARM virtualisation support

branch

Low-level Userland

Status	Date	Feature	Location
planned		SMP-capable virtual-machine monitor (VMM)	master