Release notes for the Genode OS Framework

The main theme of version 10.02 was the improvement of the base platform support of the framework, highlighted by two new base platforms namely NOVA and Codezero, a new management concept for real-time priorities, and extended support for the ARM architecture.

The most prominent additions of this release are the support for Webkit, USB storage, light-weight IP stack, and the paravirtualized variant of Linux called OKLinux. Furthermore, it contains the initial port of the framework to the ARM architecture and a new interface for communicating bulk data between processes.

The version 9.08 brought several refinements such as a new signalling mechanism, a new lock implementation, a new timer service, and various optimizations. The most important new functional additions are a dynamic linker and core extensions to run Linux on top of the OKL4 version.

Genode version 9.05 introduced the proper integration of Qt4 into the main-line source tree, the first parts of USB support, support for the OKL4 kernel as new base platform, and a prototype of OKLinux running on Genode.

With the release 9.02, the Genode OS Framework started to support the L4ka::Pistachio kernel as base platform, introduced the first version of Qt4 on Genode, and added the Linux-2.6 Device Driver Environment including basic networking support.

The release 8.11 introduced a C library ported from FreeBSD, a device-driver API called DDE kit, the signalling framework, the typification of capabilities, region-manager faults, managed dataspaces, and a timed event scheduler.