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