Inferno (オペレーティングシステム)
Styxという標準プロトコルで、ローカルなリソースにもリモートのリソースにもアクセスする。
対象とするネットワーク環境の多様性に対応するため、設計段階で仮想機械を使うのが必須であると決定された。これはJavaを生んだOakプロジェクトと同じ結論だが、それぞれ独自に同じ結論に至っている。仮想機械Disはレジスタマシンの一種で、Java仮想マシンとは反対に、動作するアーキテクチャになるべくマッチするよう設計されている。そのため、新たなアーキテクチャをサポートする際にJITコンパイラを作成するのが単純という利点がある。
この仮想機械は、メモリが1MB程度でMMUのないデバイスでも効率的に動作するよう設計されたメモリ管理を備えている。そのガベージコレクションは参照カウント方式とリアルタイム・カラーリング方式の組み合わせである。
Infernoカーネルには、仮想機械、オンザフライ・コンパイラ、スケジューラ、デバイスドライバ、通信プロトコルスタック、名前空間エバリュエータ、ファイルシステム階層のルートが含まれる。また、仮想オペレーティングシステムのインタフェース(システムコール、グラフィックス、セキュリティ、算術モジュールなど)を提供する組み込みモジュールもある。
Bell Labs Technical Journalの論文では、以下に示したような観点でInfernoの移植性と汎用性を紹介している。