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