Latest Release

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

Release notes summary for the version 25.08

• New kernel scheduler for fairness and low latency

• Holistic block-storage stack optimizations

• Linux-based PC and Zynq drivers updated to kernel version 6.12

• Syntax-agnostic API for configuration and reporting

• Human-readable data as XML alternative

• VirtualBox6 EFI support and multi-monitor improvements

• Preliminary support for POSIX AIO

• seL4 scalability improvements and update to kernel version 13.0

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