RedoxはRustで書かれたUnix系マイクロカーネルオペレーティングシステムである。ライセンスはMIT License。Redoxは既に実ハードウェア上で動作している。 RedoxはJeremy Sollerにより開発が開始され、2015年4月20日にGitHubに最初のコミットがなされた。現在に至るまで40人以上の貢献者によって活発に開発が進められている。