Linked by Thom Holwerda on Thu 26th Feb 2009 17:03 UTC, submitted by Norman Feske
OSNews, Generic OSes The Genode project has released the version 9.02 of their Genode OS Framework. This open-source framework allows for creating custom microkernel-based operating systems for executing dynamic application workload while maintaining high security. In addition to the already supported base platforms 32-bit Linux and L4/Fiasco, this release introduces support for the L4ka::Pistachio microkernel. This high-performance kernel implements the latest L4 kernel API and supports a number of advanced features such as multi-processor support and virtualization support. By bringing Genode to this base platform, we will be able to leverage these features in the future. On the functional side, the new release brings two major additions, a basic networking facility and the native port of the Qt4 application framework. Read on about the new features described in the release notes, and download the release 9.02 of the Genode OS Framework.
Permalink for comment 350864
To read all comments associated with this story, please click here.
RE: Genode
by krishna on Thu 26th Feb 2009 18:53 UTC in reply to "Genode"
Member since:

The version 0.4 of Pistachio is rather old. We use the Mercurial repository, which is updated (as you stated) every now and then. Also, interesting work on top of Pistachio like Afterburner Linux and an experimental x86 virtualization support attracted our attention.

From our point of view, Pistachio is also an intermediate step to OKL4.

Reply Parent Score: 2