posted by Thom Holwerda on Fri 21st Nov 2008 21:35 UTC, submitted by Norman Feske
The Genode OS framework has seen another release. "We are pleased to announce the release 8.11 of the Genode OS Framework introducing a new device-driver API, a C runtime, support for asynchronous notifications, and many improvements of the base API. With the new release 8.11, we are aiming at enabling Genode for real-world applications that require custom device drivers and the reuse of existing code. Among the major improvements are a new device driver API that eases the reuse of existing device drivers and a C runtime that facilitates the reuse of a wealth of existing C library code on Genode. Furthermore, we extended the base API by a number of exciting feature such as support for asynchronous notifications, capability typification, and managed dataspaces."