I mean, there are several rust kernel/os projects in progress. One project that's pushing on the boundary of safety and composability is Thesus, which takes la

I mean, there are several rust kernel/os projects in progress. One project that's pushing on the boundary of safety and composability is Thesus, which takes language safety to new ground by shifting traditionally OS-level responsibilities like resource management all the way down to typechecks in the language, and also explores a way of updating any core OS component on a live running system. https://github.com/theseus-os/Theseus https://github.com/theseus-os/Theseus There's also KataOS which google just recently announced: https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html https://opensource.googleblog.com/2022/10/announcing-kataos-... As you note, these things take time, I agree with sibling that none of them are likely to be "enterprise-grade" or "production ready" this decade.