このプロジェクトについて

aiueosは、AIエージェントに安全な機能ベースの環境を提供するために設計されたオペレーティングシステムです。Kotobaで記述されており、ローダーとカーネルがコンパイラによって出力される「C-free bare metal」なプロダクションプロファイルを目標としており、信頼されたコンピューティングベース(TCB)から従来のC言語ベースの判定ロジックを排除しています。 主な技術的特徴は以下の通りです: - 機能ベースのセキュリティ:機能ブローカーとして動作し、独立した「grant」権限による決定を強制します。 - Wasm実行:Chicoryを使用し、命令レベルの燃料計量(fuel metering)とメモリ制限を備えたコンパイル済みKotoba Wasmコンポーネントを実行します。 - ハードウェアサポート:動作するブートプロセス(UEFI/Multiboot2)および、x86-64における物理メモリ割り当てとCPUフォールト処理の部分的な実装を含んでいます。 - コンポーネントアーキテクチャ:ホストされたウィンドウマネージャ、IME、GPUプレゼンターをサポートし、高度な攻撃者に対する封じ込めに重点を置いています。 - デプロイメントプロファイル:ベアメタルx86-64カーネル、LinuxホストVMバンドル、JVMホストクラウドデスクトッププロファイルを含む複数のプロファイルを提供します。