Though currently Android-based, grapheneos is planning to move towards a microkernel + virtualisation model eventually. I'd imagine this is several years away at least, though.
https://grapheneos.org/faq#roadmap
There's also sel4, a security focused version of the l4 microkernel which is apparently one of the only formally verified kernels.