[okl4-developer] Announcement: Genode OS Framework version 9.11 released

[Stefan Kalkowski]

We are happy to announce the release 9.11 of the Genode OS Framework -
a multi-server OS architecture designed to combine high security with dynamic 
workload. Genode runs on top of Linux, Pistachio, Fiasco and OKL4 (version 
2.1.1). This way, applications, device drivers, and protocol stacks
developed with the Genode API run on different platforms without any
modification. More information about Genode and its architecture
is available at the project's website:

  http://genode.org

In our new release we are glad to present a modified version of OKLinux 
running on top of Genode/OKL4. Therefore, we replaced all Iguana specific 
parts and the priority-based synchronization mechanisms of the OKLinux Kernel 
with Genode primitives. Moreover, we added support for the ARM-based GTA01 
platform for the OKL4 specific part in the Genode OS Framework.
Beside the OKL4 specific extensions, on top of the generic Genode API we added 
support for USB storage, LwIP and Qt4 Webkit. Also Genode's insides were 
improved by fully supporting dynamic linking, adding new interfaces and 
services. For a complete, more detailed list of all changes, have a look at 
the release notes of Genode 9.11:

  http://genode.org/news/documentation/release-notes/9.11

Regards
-- 
Stefan Kalkowski
Genode Labs Developer
http://genode-labs.com