Redox (オペレーティングシステム)

RedoxはRustで書かれたUnix系マイクロカーネルオペレーティングシステムである。ライセンスはMIT License^[5][6]。Redoxは既に実ハードウェア上で動作している^[7]。

Redox

Redoxのロゴマーク。
Orbital (GUI) を起動しているRedox
開発者	Jeremy Soller and Redox Developers[1]
プログラミング言語	Rust、アセンブリ言語
OSの系統	Unix系
開発状況	開発中
ソースモデル	オープンソース
初版	2015年4月20日 (10年前) (2015-04-20)
最新安定版	0.9.0[2][3]  / 2024年9月9日 (11か月前)
最新開発版	0.9.0[4]  / 2024年9月9日 (11か月前)
リポジトリ	gitlab.redox-os.org/redox-os/redox
対象市場	デスクトップ、ワークステーション、サーバ、組み込みシステム
使用できる言語	英語
パッケージ管理	pkgutils
プラットフォーム	x86-64
カーネル種別	マイクロカーネル
ユーザランド	カスタム
既定のUI	CUI, GUI
ライセンス	MIT
ウェブサイト	www.redox-os.org （英語）

RedoxはJeremy Sollerにより開発が開始され、2015年4月20日にGitHubに最初のコミットがなされた^[8]。現在に至るまで40人以上の貢献者によって活発に開発が進められている^[9]。

OSコンポーネント（エコシステム）

RedoxはプロジェクトがRustで記述した以下のようなソフトウェアからなるエコシステムから成っている。

• Redoxカーネル
• Ionシェル
• Sodium（テキストエディタ、Vimライク）
• TFS（ファイルシステム、ZFSライク）
• Orbital（ウィンドウシステム、描画プログラム、ウィジェット・ツールキット）
• ralloc: メモリアロケータ
• magnet: パッケージ管理システム

コマンドラインアプリケーション

Redoxは、以下のCUIプログラムをサポートする。

• Sodium（viのようなテキストエディタ。構文の強調表示を提供する）
• Rusthello（高度なリバーシのAI。並列性が非常に高く、Redoxのマルチスレッド機能の証として機能する。ブルートフォーシング、ミニマックス、ローカル最適化、ハイブリッドAIなどのさまざまなAI戦略をサポートしている）