Introduction
We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software components including device drivers, system services, and applications. The Genode OS framework is the effort to advance the Genode OS architecture as a community-driven open-source project.
Genode News
-
Genode OS Framework release 10.08
- With Gallium3D, MadWifi, and a new block-driver infrastructure, the release 10.08 takes Genode's device-driver support to the next level.
-
Genode OS Framework release 10.05
- The new version 10.05 adds support for mandatory access-control policies, introduces audio playback, and improves the integration of the paravirtualized OKLinux kernel with the framework.
-
Adaptation to Codezero kernel v0.3
- The just released version 0.3 of the Codezero kernel adds support for the latest ARMv7 CPUs. The Genode OS Framework is now ready to be used with this new kernel version.
-
Genode OS Framework release 10.02
- Among a variety of platform-related improvements, the release 10.02 adds support for the NOVA and Codezero kernels and introduces a new concept for managing real-time priorities.
-
Road map 2010
- We have updated our road map with the planning of the year 2010.
-
Genode OS Framework release 9.11
- With release 9.11 Genode gets Webkit, USB storage, TCP/IP stack, support for ARM, OKLinux and more ...
Latest screenshots
The Webkit-based Arora webbrowser running alongside an application using Gallium3D, which was introduced with release 10.08. See the full screenshot...
The Genode release 9.11 introduces a paravirtualized Linux Kernel. The screenshot displays two Linux instances running on top of Genode - one Tinycore and one Busybox. See the full screenshot...
The Genode release 9.02 introduced support for native Qt4 applications. The screenshot displays the Tetrix Qt4 example application side-by-side with low-complexity graphical Genode applications. See the full screenshot...
The demonstration scenario provided with the official Genode distribution shows off Genode's ability to create and destroy arbitrarily shaped process trees, which can include multiple instances of services in a nested fashion. The screenshot shows an isolated instance of the GUI server running in a window of another GUI-server instance. The whole demo scenario including the graphical user interface has a source-code complexity of less than 20,000 lines of code. With Genode, graphically rich applications and a low-complexity trusted computing base are no contradiction. See the full screenshot...
