The lads from Genode OS bring us a new version of their Operating System Framework.
From the announcement:
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.
Download | Release Notes