Genode 15.05发布,操作系统框架

Genode 15.05 发布，是该项目史上最全面的一个版本。它的亮点之一是——添加了一个新的文件，主要支持 seL4 微内核、 用户级别的设备驱动程序有了新的架构，框架支持自定义内核实现。

第二个亮点是——新版本中的项目自定义内核平台被称之为“base-hw”，允许 Genode 在原始硬件上执行，且不需要第三方的支持。

更多内容请查看发行页面和发行说明。

Genode操作系統框架擴展現有的內核（如微內核或程序） ，並提供一個統一的API應用程序。目前， L4/Fiasco和Linux的支持。