Latest Release

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

Release notes summary for the version 25.05

• Tool chain upgraded to GCC 14.2 and binutils 2.44

• Hardened API, leveraging sum types for error handling

• Security-enhanced Goa SDK

• New support for touch gestures

• New VFS plugin for generating pseudo random numbers

• Revisited integration of the Linux and lwIP TCP/IP stacks

• Display rotation and flipping on Intel hardware

• Dynamic mode switching and reporting of the VESA display driver

Read the complete release notes for the version 25.05 in the documentation section...