Genode OS Framework release 23.05

Genode 23.05 is here and brings a colorful bouquet of new features, improvements, and bug fixes. Most prominently two years after the previous update, we introduce our new tool chain based on recent GCC 12.3, binutils 2.40, and GDB 13.1. The update gave us the opportunity to switch from C++17 to C++20 as default setting and benefit from modern C++ niceties. A highlight of the release is evolving Goa tool, which now enables the use of existing SDKs like Lomiri or Rust cargo for Genode.

Our Linux device-driver environment (DDE), which allows for the use of Linux drivers as Genode components was upgraded Linux 6.1.20. The DDE powers our cross-platform Wifi stack that works for the PC and ARM platforms like the PinePhone. Further, we integrated initial use of our custom base-hw microkernel as x86 hypervisor, a profoundly reworked block-encryption stack, and updates of supported 3rd-party software like the seL4 kernel and VirtualBox.

Last but not least, we performed our annual documentation update of the Genode Foundations and Platforms books.

All changes and improvements are documented in the release documentation.