At the dusk of November, we have just released version 23.11 of the Genode OS Framework, which includes all the recent improvements present in Sculpt OS 23.10 as well as plenty of new feats and features.
https://genode.org/news/genode-os-framework-release-23.11
Just to name the highlights, the new version moves the IOMMU driver from the kernel to the user land, introduces the monitoring and steering of CPU power/temperature/frequency, comes with a new API for low-complexity GUI applications, and streamlines the framework's virtualization interface. It also improves developer ergonomics and showcases the port of the Linphone VoIP stack.
Here are the most prominent improvements at a glance:
- Kernel-agnostic DMA protection - PC power, frequency, temperature sensing and control - Modernized virtualization interface - New API for low-complexity interactive applications - Seoul virtual machine monitor for 64-bit guest OSes - Ports of Linphone VoIP stack, socat, SDL2 libraries - USB device drivers updated to Linux 6.1.20 - Improved build-system for quick development-test cycles
You can find these and more topics covered in great detail in the official release documentation for the new version:
https://genode.org/documentation/release-notes/23.11
Cheers Norman