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

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer

[Tim Heath]

Norman,

This is great news. Quite impressive the work you have put in. I am sure The
Community will find this valuable. Thank you for contributing to the OK Labs
community and open source community at large.

Cheers,

Tim

________________________________________

Tim Heath | Community Development Manager
Open Kernel Labs
t [phone] | m [phone]
e [hidden email] | www.linkedin.com/in/timheath
www.ok-labs.com






-----Original Message-----
From: [hidden email] [mailto:[hidden email]] On
Behalf Of Norman Feske
Sent: Wednesday, May 27, 2009 8:32 AM
To: [hidden email]
Subject: [okl4-developer] Announcement: Genode OS Framework 9.05 on OKL4

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

_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
Internal Virus Database is out of date.
Checked by AVG - http://www.avg.com 
Version: 8.0.176 / Virus Database: 270.10.23/1950 - Release Date: 2/12/2009
6:46 PM


_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer