Latest Release

The source-code of the Genode OS Framework version 8.11 is available at the Sourceforge download page.

Release-notes summary for the version 8.11

Base API
- Introduced typification of capabilities
- Improved client-side connection handling
- New semaphore
- New API for asynchronous notifications
- New region-manager fault handling
- New managed dataspaces
- Refined allocator interfaces
- Refined interfaces to consistently use exceptions
OS services and libraries
- New framework called DDE kit for device drivers written in C
- New alarm API for scheduling timed events
- Improved PS/2 driver, supporting scan-code sets 1 and 2
- Optimized output latency of the Nitpicker GUI server
New C runtime ported from FreeBSD
Applications
- Double-buffering for scout widgets
- New execute links for the scout tutorial browser
- Unified handling of child processes among scout and launchpad
- New default document "Walking through Genode" for scout
Platform-specific changes
- Linux: Dissolved dependency from glibc by introducing custom system-call bindings
- L4/Fiasco: Implementation of RM faults, managed dataspaces
- L4/Fiasco: Implementation of cancel-blocking mechanism