开源操作系统框架 Genode OS 发布了 25.08 版本,引入了新的内核调度器以实现公平性和低延迟,探索了 XML 的替代方案,优化了块存储堆栈,并将所有基于 Linux 的 PC 驱动程序更新至内核版本 6.12。 此外,该版本还为最新版本 13.0 的 seL4 微内核解锁了更多动态场景。 核心调度器(Kernel Scheduler)重构:优化公平性与... 开源操作系统框架 Genode OS 发布 25.08 版本下载地址