Version 25.08 of the Genode OS Framework has been released for this open-source operating system framework designed for software safety and security.
Genode OS 25.08 overhauls its kernel scheduler to better account for dynamic workloads on Sculpt OS, its general purpose operating system. The new kernel scheduler optimizes for fairness and latency.
Genode OS 25.08 also makes improvements to its block layer. For Genode’s Linux device driver environments is also updating all of the leveraged Linux drivers against the upstream Linux 6.12 LTS upstream state.
Lastly, Genode OS 25.08 updates its seL4 micro-kernel support against the seL4 13.0 version.
More details on all of the Genode 25.08 operating system framework changes via Genode.org.
