Genode OS release 25.08 Sep 16, 2025

Genode 25.08 introduces a new CPU scheduler for fairness and low latency, explores a new human-friendly configuration approach, optimizes the block-storage stack, and update all Linux-based PC drivers to kernel version 6.12. Furthermore, the release unlocks further dynamic scenarios for the latest version 13.0 of the seL4 microkernel.

The midyear release of Genode 25.08 features the outcome of three long-term working topics. First, we equipped our custom kernel with a brand new CPU scheduler designed specifically for the practical workloads of Sculpt OS and optimized for fairness and low latency. The second highlight is the experimental introduction of a new human-friendly configuration format as a potential alternative to the time-tested use of XML. By adding the new format as an option, the release kicks off a phase of practical evaluation. As the third major topic, the holistic optimization of the framework's block- storage stack streamlines the data paths between storage devices, over drivers, partition handling, up to the application level.

Beside those headline topics, version 25.08 is not short on further improvements: Closely tracking Linux development, the release updates all PC drivers to kernel version 6.12. Among the framework's underlying microkernels, seL4 has received ongoing attention during the release cycle. We lifted long-standing limitations regarding dynamic scenarios such as Genode's pluggable drivers on this particular kernel and adopted its most recent release.

For the entire picture, please refer to the release documentation.