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

开源操作系统框架 genode os 推出了 25.08 版本，带来了多项重要更新，包括引入全新的内核调度器以提升任务调度的公平性与响应速度，探索 xml 配置格式的替代方案，优化块存储体系结构，并将所有基于 linux 的 pc 驱动程序升级至 linux 内核 6.12 版本。

同时，该版本进一步增强了对 seL4 微内核的支持，现已全面兼容其最新发布的 13.0 版本，解锁更多动态使用场景。

• 内核调度器重构：提升调度公平性与低延迟表现

本版本对 Genode OS 的核心调度机制进行了重新设计，特别针对通用操作系统 Sculpt OS 所面临的动态负载环境进行了优化，显著改善了多任务环境下的资源分配公平性及系统响应延迟。

• 块存储子系统优化：精简路径，提升性能

块存储层在此次更新中经历了多项关键改进，通过简化数据传输路径、减少中间模块（如分区管理器）的介入，有效提升了 I/O 效率。此外，新架构更好地支持现代多队列存储设备，增强了高并发场景下的性能表现。

• Linux 驱动基础升级至 Kernel 6.12 LTS

Genode 的 Linux 驱动运行环境现已基于 Linux 6.12 LTS 内核源码进行全面更新，涵盖广泛的硬件驱动支持，显著提升了系统在各类 PC 平台上的兼容性与运行稳定性。

• 支持 seL4 微内核 v13.0，拓展动态能力

Genode 持续深化与 seL4 微内核的集成。本次更新已适配 seL4 的最新 13.0 版本，解决了以往在大规模动态场景中的可扩展性问题，特别是在运行时加载和卸载驱动等操作上的性能与可靠性得到明显改善。

• 推进 XML 替代语法的实践评估

为优化系统配置与状态报告机制，Genode 开始试点引入轻量化的配置语法以替代传统 XML。该方案支持与现有 XML 格式双向互操作，允许逐步迁移。这一构想酝酿逾两年，现正式进入实际应用评估阶段。

了解更多：https://www.php.cn/link/92b11f86a8c3f4e663ef070a822e1d2b

源码获取：点击下载