Genode OS Framework

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