Latest Release

The source-code of the Genode OS Framework is available at Codeberg.

Release notes summary for the version 26.08

New port of VirtualBox 7
New ports of OpenSSL-3.5.7, curl-8.21, and OpenSSH 10.3
Seoul VMM
Device drivers
- Linux 6.18.19 device-driver environment for 64-bit ARM
- Improved touchpad support
- Wifi support for MediaTek MT7922
Dynamically reconfigurable virtual file system
Improved timing and timeout handling
PC performance control and optimizations for our custom kernel
Networking for Sculpt OS on Linux
Initial version of a Goa-based SDK running on Sculpt OS