Genode オペレーティング システム フレームワークは、既存のカーネル (マイクロカーネルやハイパーバイザーなど) を拡張し、アプリケーションに統一された API を提供します。カーネルサポート: L4ka::P istachio, OKL4 (ARM, x86), コードゼロ, ノヴァ, L4 /フィアスコ, Linux (x86-32, x86-64)
バージョン履歴
- バージョン 11.02 に転記 2011-02-25
いくつかの修正と更新 - バージョン 11.02 に転記 2011-02-25
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: genode.org/
- ライセンス: 無料
- 価格: N/A
- バージョン: 11.02
- プラットフォーム: windows