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
-
Read the complete release notes for the version 8.11 in the documentation section...

