Looks very interesting roadmap, looking forward to where Redox goes.

Regarding the server approach, I wonder if going for a type 1 hypervisor like Firecracker wouldn't be a much better approach than QEMU.