Genode
Genode
は、フリーでオープンソースなオペレーティングシステムフレームワークであり、マイクロカーネル抽象化レイヤー
とユーザースペースコンポーネントのコレクションで構成されている。
Genodeは、例えばUnixのようなプロプライエタリーなオペレーティングシステムから派生したのではない数少ないオペレーティングシステムの一つとして知られている。
特徴的な設計思想として、小さなトラステッド・コンピューティング・ベース（TCB）により、セキュリティーを指向したオペレーティングシステムであることを目指している。
Genodeは、デスクトップ
やタブレット
のOSとして使われるか、ゲストオペレーティングシステムのための仮想マシンモニターとして使われる。
Genodeは、x86
とARM
の両方で、安全な仮想化システムの信頼されたコンポーネントとして使われている。
Genodeは、小規模なコードベースだが、より複雑であるUnixに由来するオペレーティングシステムの代替として利用できる。
このため、Genodeは仮想化
やプロセス間通信、
IPスタック分離、
モニタリング、
ソフトウェア開発
の分野の研究のベースのシステムとして利用されている。