[okl4-developer] Announcement: Genode OS Framework 9.05 on OKL4

[Norman Feske]

We are happy to announce the release 9.05 of the Genode OS Framework
coming with support for the OKL4 kernel version 2.1.

Genode is a multi-server OS architecture designed for combining
high security with dynamic application workloads. It facilitates a
capability-based API, which we already implemented on a range of
kernels. At present, Genode runs on top of Linux, Pistachio, Fiasco,
and OKL4. 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

With regard to functionality, Genode brings a number of interesting
features such as basic networking functionality (Linux NIC + uIP),
USB HID support, various drivers (PCI, PS/2, VESA), and a custom
GUI called Nitpicker. With the current release, we have integrated
our native port of Qt4 into the Genode source tree. Thereby, Qt4
becomes available on OKL4 as well. This and all other new features
and changes are described in the release notes of Genode 9.05:

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

Because we think that our experience with the OKL4 kernel may be of
interest for other members of the L4 community, we have documented
our work in detail. If you are interested in learning more about
Genode and the specifics of the OKL4 base platform, you may like
the following article:

  http://genode.org/documentation/articles/genode-on-okl4

Regards
-- 
Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org