https://doc.redox-os.org/book/introduction/why_redox.html

Zudem hat das Projekt offensichtlich das Ziel, zu beweisen, dass Rust tatsächlich dazu taugt, ein komplettes Betriebssystem zu schreiben, und zwar in diverser Hinsicht besser als C. (Da ich C kaum und Rust (bis auf den Namen) überhaupt nicht kenne, kann ich das leider nicht weiter beurteilen.)