You're talking about a hypervisor, not a microkernel.