VOOZH about

URL: https://www.phoronix.com/news/Genode-OS-25.08-Released

⇱ Genode OS 25.08 Introduces New Kernel Scheduler, Updates Linux Drivers - Phoronix

👁 Phoronix

Genode OS 25.08 Introduces New Kernel Scheduler, Updates Linux Drivers

Written by Michael Larabel in Operating Systems on 29 August 2025 at 04:32 AM EDT. 4 Comments
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.

👁 Genode's Sculpt OS


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.

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated benchmarking software. He can be followed via Twitter, LinkedIn, or contacted via MichaelLarabel.com.