Comment by timeon

> But what could be the replacement? There's a handful of fairly mature microkernels out there

Redox[0] has advantage that no-one will want to rewrite it in Rust.

[0]: https://redox-os.org/