开源操作系统框架 Genode OS 发布 25.08 版本

开源操作系统框架 Genode OS 发布了 25.08 版本，引入了新的内核调度器以实现公平性和低延迟，探索了 XML 的替代方案，优化了块存储堆栈，并将所有基于 Linux 的 PC 驱动程序更新至内核版本 6.12。

此外，该版本还为最新版本 13.0 的 seL4 微内核解锁了更多动态场景。

• 核心调度器（Kernel Scheduler）重构：优化公平性与延迟

新版本对 Genode OS 中的内核调度器进行了全面重构，尤其为其通用操作系统 Sculpt OS 考量了动态工作负载的需求，优化了任务调度的公平性与响应延迟。

• 块存储层（Block Layer）改进

对块存储子系统进行了多项优化，包括精简数据路径、提升 I/O 性能。这些改进通过整体优化块存储栈，减少中间组件（如分区管理模块）的参与，增强了多队列硬件支持能力。

• Linux 驱动更新至 Kernel 6.12 LTS

Genode 的 Linux 驱动组件——在其 Linux 驱动环境中使用的驱动程序均已升级，基于 Linux 6.12 LTS 源代码，对硬件兼容性和稳定性进行了增强。

• 兼容 seL4 微内核：支持 seL4 版本 13.0

Genode 持续扩展其对 seL4 微内核的支持。此版本中，已将 seL4 内核更新到最新 13.0 版本，并解决了先前存在的可扩展性瓶颈，尤其改善了动态场景（如插拔式驱动加载）下的表现。

• 探索 XML 的替代语法

为了改进配置与报告流程，新版本引入了对 XML 的替代语法支持，允许配置文件逐步从 XML 切换到更轻量的形式，并支持与 XML 之间的互操作性，这一思路已规划超过两年，本次进入实用评估阶段。

详情查看 https://genode.org/documentation/release-notes/25.08