The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Currently, L4ka::Pistachio, L4/Fiasco, and Linux are supported.
With the release 9.05, we introduce the first fragments of USB support, update Qt to version 4.5.1, and add the OKL4 kernel as supported base platform. The new release continues the general theme to enhance our potential user base by broadening the ...
With the port of Genode to the OKL4 kernel, we have taken another step to reach a broader user base of the framework. In contrast to the already supported microkernels L4ka::Pistachio and L4/Fiasco, the OKL4 kernel developed by Open Kernel Labs is ...
We are pleased to announce the release 9.02 of the Genode OS Framework introducing support for the L4ka::Pistachio microkernel, base networking support, and a port of Qt4 core and GUI libraries to Genode. Whereas the focus of the previous release 8.11 ...
As announced on the Genode mailing list, the popular Simple Directmedia Library is being ported to Genode. A first version of the port and a demo application are already available. The Simple Directmedia Layer library (libSDL) is a very popular ...
The new L4ka::Pistachio version of the Genode OS Framework makes the unique features, performance, and stability of the L4::Pistachio kernel available for Genode's software stack. L4ka::Pistachio is the reference implementation of the L4 API version x.2 ...
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use