プログラム genode.org/

Genode オペレーティング システム フレームワークは、既存のカーネル (マイクロカーネルやハイパーバイザーなど) を拡張し、アプリケーションに統一された API を提供します。カーネルサポート: L4ka::P istachio, OKL4 (ARM, x86), コードゼロ, ノヴァ, L4 /フィアスコ, Linux (x86-32, x86-64)