その他の研究開発
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/21 10:04 UTC 版)
「L4マイクロカーネルファミリー」の記事における「その他の研究開発」の解説
OskerはHaskellで書かれたOSで、L4の仕様で作られていた。このプロジェクトはマイクロカーネルの研究ではなく関数型プログラミング言語によるOS開発を目的とした。 CodeZeroは組み込みの仮想化とネイティブOSサービスのためのL4マイクロカーネル。これはGPLライセンス版と開発者によって2010年に分岐したクローズドソース版があった。 F9マイクロカーネルはARM Cortex-M3/M4プロセッサの消費電力、メモリ保護に徹底的に注力したゼロから開発されたBSDライセンスのL4実装。 Fiasco.OCは前身のL4/Fiascoから進化した第3世代マイクロカーネル。Fiasco.OCはcapability basedでマルチコアシステムをサポートし、ハードウェア支援による仮想化に対応する。 完全に再設計されたユーザーランド環境はL4 Runtime Environment (L4Re)と呼ばれる。クライアント／サーバ通信フレームワーク、共通サービス機能、仮想ファイルシステム基盤、libstdc++やpthread等の一般的なCライブラリなど、マルチコンポーネントシステムを構築するための環境を提供する。これはマルチアーキテクチャ仮想化LinuxシステムのL4Linux（英語版）も提供する。L4ReとFiasco.OCは以前のシステムのL4EnvとL4/Fiascoを置き換えたものでx86（IA-32とAMD64）、ARM、MIPSで動作する。 NOVA Microhypervisorは小さなtrusted computing baseを持つセキュアで効率の良い仮想化環境を構築するための研究プロジェクト。 NOVAはマイクロハイパーバイザー、ユーザーレベルの仮想マシンモニタ、NUL(Nova User-Level environment)という非特権でコンポーネント化されたマルチサーバーユーザー環境から構成される。NOVAはx86ベースのマルチコアシステムで動作する。 WrmOSはオープンソースでL4ベースのリアルタイムオペレーティングシステム(RTOS)。カーネルは標準ライブラリとネットワークスタックで実装されている。SPARC、ARM、x86、x86_64のアーキテクチャをサポートする。WrmOSはL4 Kernel Reference Manual Version X.2に基づいている。WrmOS上で準仮想化されたLinuxカーネル（w4linux）が動いている。
※この「その他の研究開発」の解説は、「L4マイクロカーネルファミリー」の解説の一部です。
「その他の研究開発」を含む「L4マイクロカーネルファミリー」の記事については、「L4マイクロカーネルファミリー」の概要を参照ください。
- その他の研究開発のページへのリンク
