With the tailwind of the Sculpt 24.04 release, we released Genode 24.05 today and I'd like to emphasize the following highlights.

First, Sculpt OS can now be run on our custom microkernel (base-hw), which is a landmark on the road to root our entire software stack in a foundation devoid of third-party code in sensitive components. Next, the new ability of seamlessly using the GNU debugger on top of Sculpt OS should find a ready welcome under developers addressing Genode as a runtime. The flexible assignment of USB devices to components and virtual machines is one of many usability advances, beside accessible suspend-resume support on PC hardware.

Genode 24.05 in summary:

- Sculpt OS running on Genode's custom microkernel - Fine-grained and dynamic assignment of USB devices/interfaces - On-target debugging on Sculpt OS using GDB - Suspend/resume for PC platforms - Completed transition to new audio interfaces - Intel graphics enabled for high-resolution displays - Mesa updated to version 24.0.1 - Improved VirtualBox network throughput - USB pass-through to the Seoul VMM - Revisited storage-encryption infrastructure - Goa SDK updated for Sculpt OS 24.04 - Annual update of the "Genode Foundations" book

Detailed release documentation for the version 24.05:

https://genode.org/documentation/release-notes/24.05

Best regards and have fun

Christian