Though currently Android-based, grapheneos is planning to move towards a microkernel + virtualisation model eventually. I'd imagine this is several years away a

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 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. https://sel4.systems/About/ https://sel4.systems/About/