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.
Project Feed
-
Genode OS Framework release 9.05
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 ...
-
genode 9.05 file released: genode-9.05.tar.bz2
-
Bringing Genode to the OKL4 kernel
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 ...
-
genode 9.02 file released: genode-9.02.tar.bz2
-
genode 9.02 file released: genode_qt-9.02.tar.bz2
-
Genode OS Framework release 9.02
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 ...
-
genode-toolchain 9.02 file released: genode-toolchain-9.02.tar.bz2
-
Port of libSDL to Genode
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 ...
-
Genode OS Framework: L4ka::Pistachio version available
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 ...
-
genode 8.11 file released: genode-8.11.tar.bz2
Related Projects
Genode OS Framework Actions
About SourceForge
Develop Software
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
