Genode OS 25.08 Introduces New Kernel Scheduler, Updates Linux Drivers
- Reference: 0001572543
- News link: https://www.phoronix.com/news/Genode-OS-25.08-Released
- Source link:
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 [1]Genode.org .
[1] https://genode.org/documentation/release-notes/25.08
phoronix