Redox は Rustで書かれたUNIXライクなオペレーティングシステムで、 Rustという革命的手法を、モダンなマイクロカーネルおよびすべてのアプリケーションに持ち込むことを目指しています。