程序名称:Genode
授权协议: MIT
操作系统: Linux
开发语言: C/C++
Genode操作系統框架擴展現有的內核(如微內核或程序) ,並提供一個統一的API應用程序。目前, L4/Fiasco和Linux的支持。
http://genode.org/