Not microkernel-based, but hardware virtualization based, which is even more secure: https://qubes-os.org.