Genode OS Framework 25.11 released

The release 25.11 wraps up our year of “rigidity, clarity, performance” with a bouquet of vast under-the-hood improvements. Genode’s custom kernel received special tuning of its new CPU scheduler for Sculpt-OS workloads, and became much more scalable with respect to virtual-memory management. Combined, those efforts visibly boost the performance of Sculpt OS on performance-starved hardware like the PinePhone or the i.MX8-based MNT Reform laptop. On account of improving clarity, our new configuration format – now named human-inclined data (HID) – proliferates throughout Genode’s tooling. We are also happy to report that almost all Genode components have become interoperable with both XML and HID by now.
↫ Genode OS Framework 25.11 release notes

The Genode Framework 25.11 also brings a major change to how important shared components that aren’t strictly part of the framework are handled, such as ports like libSDL, sqlite, or gnutls. Before, these could only be built with the Genode build system, which was suboptimal because this isn’t designed for building individual components. Several changes have been made to now enable the use of multiple build systems and the Goa SDK, which should make it a lot easier to these crucial components to become the responsibility of wider parts of the community.

There’s way more, of course, such as the usual driver improvements, including the addition of support for serial-to-USB adapters.