README (README( 外部リンク: SF.net): 788 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
Genode オペレーティング システムのフレームワーク 8 の既存マイクロ カーネル ハイパーバイザ上にアプリケーションに一様な API を提供します： Linux では、L4ka::Pistachio、L4/失敗、OKL4、ノヴァ、Fiasco.OC、Codezero、および ARM Soc のカスタム カーネル。
