Redoxは、マイクロカーネル設計に基づいたUnixライクなオペレーティングシステムです。コミュニティによって開発され、フリーかつオープンソースソフトウェアとしてリリースされ、MITライセンスの下で配布されています。プログラミング言語Rustで記述されたRedoxは、安全で信頼性の高い汎用オペレーティングシステムを目指しています。現在はプレ安定版の状態です。
RedoxはJeremy Sollerによって作成され、2015年4月20日にGitHubで初めて公開されました。[ 3 ] Redoxという名前は、化学における酸化還元反応に由来しています。酸化還元反応の1つは鉄の腐食、つまり錆です。Soller自身もSystem76のエンジニアです。[ 4 ]
Redoxは安全性、安定性、パフォーマンスに重点を置いています。[ 5 ] [ 6 ] [ 7 ] SeL4、MINIX、Plan 9、BSD、Linuxなどの以前のカーネルやオペレーティングシステムからインスピレーションを得ています。[ 8 ]現在のプラットフォームターゲットには、32ビットおよび64ビットのx86、AArch64、および64ビットのRISC-Vが含まれます。
2024年9月現在、Redoxリポジトリには合計97人の貢献者がいます。[ 9 ] OSはまだ安定していません。[ 10 ]
MINIXの著者であるアンドリュー・S・タネンバウムは2025年に、Redoxは「真の可能性を秘めているが、まだそこまでには至っていない。しかし、注目する価値はある…」とコメントした。 [ 11 ]
Redoxは、機能的なオペレーティングシステムを構成するパッケージ(メモリ割り当て、ファイルシステム、ディスプレイマネージャ、コアユーティリティなど)を提供します。Redoxは、プロジェクトメンバーによってRustで書かれたソフトウェアのエコシステムに依存しています。これには、Redoxカーネル、Rallocメモリ割り当て、 ZFSファイルシステムに触発されたRedoxFSファイルシステムが含まれます。[ 12 ]
pkgutilsは Redox のパッケージマネージャであり、 はC 標準ライブラリrelibcです。 には Orbital という名前のディスプレイおよびウィンドウマネージャがあり、ディスプレイを管理し、ウィンドウの作成、再描画、イベントポーリングの要求を処理します。 Ion シェルは、Redox におけるシェルおよびコマンド実行の基盤となるライブラリです。
Redoxには、 viに似たコマンドラインインターフェース(CLI)テキストエディタであるSodiumが付属しています。また、独自のレイアウトエンジンを使用するWebブラウザ(NetSurf ) 、ファイルマネージャ(File Browser)、ANSIタイプのターミナルエミュレータ(Orbterm)、ソフトウェア電卓やテキストエディタなど、さまざまなツールを含む多数のグラフィカルユーザーインターフェース( GUI)アプリケーションがプリロードされています。
2024年5月現在、ターミナルエミュレータ、ファイルマネージャ、テキストエディタなど、COSMICデスクトップのいくつかのアプリケーションがRedoxに組み込まれています。[ 13 ]