| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Genode 25.08 source code.tar.gz | 2025-08-28 | 7.7 MB | |
| Genode 25.08 source code.zip | 2025-08-28 | 11.9 MB | |
| README.md | 2025-08-28 | 662 Bytes | |
| Totals: 3 Items | 19.6 MB | 0 | |
Release notes summary for Genode 25.08
The current release contains the following changes and new features.
- 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 documentation for version 25.08 here