Get the latest tech news
Genode OS 25.08 Introduces New Kernel Scheduler, Updates Linux Drivers
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. Genode OS 25.08 also makes improvements to its block layer. Lastly, Genode OS 25.08 updates its seL4 micro-kernel support against the seL4 13.0 version.
Or read this on Phoronix