> 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 R

> 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/ https://redox-os.org/