Genode 15.05 发布,是该项目史上最全面的一个版本。它的亮点之一是——添加了一个新的文件,主要支持 seL4 微内核、 用户级别的设备驱动程序有了新的架构,框架支持自定义内核实现。 第二个亮点是——新版本中的项目自定义内核平台被称之为“base-hw”,允许 Genode 在原始硬件上执行,且不需要第三方的支持。 更多值得关注的亮点是——更新工具链至 GCC 4.9.2,,支持GPT 分区,在 NOVA 上运行时能从 USB 设备上传递信息至VirtualBox。 更多内容请查看发行页面和发行说明。 Genode操作系統框架擴展現有的內核(如微內核或程序) ,並提供一個統一的API應用程序。目前, L4/Fiasco和Linux的支持。 Genode 15.05 发布,操作系统框架下载地址