Genode
Genodeは、初めはドレスデン工科大学におけるBastei OSアーキテクチャー の研究リポートとして考案された。 このリポートの目的は、ケーパビリティーベースのセキュリティーを使ったコンポーネントベースのオペレーティングシステムが実用的かどうかを見極めることであった。 このリポートは、同時期に行われていたL4マイクロハイパーバイザー の研究の一部として行われた。 最初期のプロトタイプが成功すると、このリポートの著者たちはBasteiをGenode OS Frameworkとして開発するため、Genode Labs社を立ち上げた。