Redox（オペレーティング システム）

酸化還元

軌道ウィンドウシステムにおける酸化還元イオンシェルの実行
開発者	ジェレミー・ソラー、 レドックス・デベロッパーズ[1]
書かれた	錆、組み立て
OSファミリー	Unixライク
作業状態	現在
ソースモデル	フリーソフトウェア
初回リリース	2015年4月20日; 9年前 ( 2015-04-20 )
最新プレビュー	0.9.0 / 2024年9月9日; 2か月前 ( 2024-09-09 )
リポジトリ	gitlab.redox-os.org/redox-os/redox
マーケティングターゲット	デスクトップ、ワークステーション、サーバー
利用可能	英語
パッケージマネージャー	pkgutils
プラットフォーム	x86-64 ; ARM64開発中[2]
カーネルタイプ	マイクロカーネル
ユーザーランド	カスタム
影響を受けた	POSIX [3]
デフォルトの ユーザーインターフェース	コマンドライン、軌道
ライセンス	マサチューセッツ工科大学
公式サイト	詳しくはこちら

Redoxは、安全性、安定性、パフォーマンスを重視したプログラミング言語Rustで書かれたUnixライクな マイクロカーネル オペレーティングシステムです。 ^{[4] [5] [6]} Redoxは、安全で使いやすく、無料であることを目指しています。Redoxは、 SeL4、MINIX、Plan 9、BSD、Linuxなどの以前のカーネルやオペレーティングシステムからインスピレーションを受けています。これは、 MITライセンスに基づいて配布される無料のオープンソースソフトウェアです。

酸化還元は化学における酸化還元反応に由来する名前です。酸化還元反応の 1 つは鉄の腐食、つまりさびです。

Redoxオペレーティングシステムは安全になるように設計されています。^[4]これは2つの設計上の決定に反映されています。

1. 実装にはプログラミング言語 Rustを使用する
2. MINIXに似たマイクロカーネル設計を採用

Redox は、機能的なオペレーティング システムを構成するパッケージ (メモリ アロケータ、ファイル システム、ディスプレイ マネージャ、コア ユーティリティなど) を提供します。Redox は、プロジェクトのメンバーによって Rust で記述されたソフトウェアのエコシステムに依存しています。

• Redoxカーネル – MINIXからインスピレーションを得たマイクロカーネルの概念から派生
• Ralloc – メモリアロケータ
• RedoxFS ファイルシステム – ZFS ファイルシステムに触発された
• Ion シェル – Redox のシェルとコマンド実行の基盤となるライブラリであり、デフォルトのシェルです。
• pkgutils –パッケージ マネージャー
• 軌道ウィンドウシステム - ディスプレイおよびウィンドウマネージャ。軌道スキームを設定し、ディスプレイを管理し、ウィンドウの作成、再描画、イベントポーリングの要求を処理します。
• relibc – C 標準ライブラリ

Redox は、次のようなコマンドライン インターフェイス(CLI) プログラムをサポートしています。

• Sodium –構文の強調表示を提供するviのようなエディタ

Redox は、次のようなグラフィカル ユーザー インターフェイス(GUI) プログラムをサポートしています。

• NetSurf –独自のレイアウトエンジンを使用する軽量ウェブブラウザ
• 電卓 – Windows の電卓プログラムと同様の機能を提供するソフトウェア電卓
• エディター – Microsoft Notepadに似たシンプルなテキスト エディター
• ファイルブラウザ –ファイルのアイコン、名前、サイズ、詳細を表示するファイルマネージャ。クリックするとランチャーコマンドを使用してファイルを開きます。
• 画像ビューア –シンプルなファイルタイプの画像ビューア
• Pixelcannon – 3Dレンダラー。Orbitalデスクトップのベンチマークに使用できます。
• Orbterm – ANSI タイプの端末エミュレータ

Redoxはジェレミー・ソラーによって作成され、2015年4月20日にGitHubで初めて公開されました。^[7] 2024年9月現在、Redoxリポジトリには合計97人の貢献者がいます。^[8]

• Linux 用 Rust
• リンクスOS

• 公式サイト
• 公式 GitLab インスタンス
• GitHub上の Redox
• オープンハブでのレドックス