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 RSS feed

News Item Genode participation at GSoC 2012 Apr 25, 2012
Tobias Börtitz steps up to the challenge of combining the HelenOS kernel with the Genode userland.
News Item New dynamic run-time configuration support Apr 11, 2012
A new mechanism for re-configuring subsystems at run-time paves the way to sophisticated general-purpose usage scenarios.
News Item GSoC 2012 application rejected Mar 17, 2012
Unfortunately, Genode Labs was not accepted as mentoring organization for this year's Google Summer of Code program.
News Item Google Summer of Code 2012 Mar 08, 2012
Genode Labs applies as mentoring organization at the Google Summer of Code 2012 program.
News Item Genode OS Framework release 12.02 Feb 28, 2012
Version 12.02 comes with a new API for MMIO access, a new ACPI driver, fork support for the Noux runtime, Qt version 4.7.4, and special support for using Genode as application framework on Linux.
News Item Slides of our talks at FOSDEM 2012 Feb 14, 2012
The slides for both Genode-related talks at FOSDEM 2012 are available.
More...

Latest screenshots

The Webkit-based Arora webbrowser running alongside an application using Gallium3D, which was introduced with release 10.08.

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.

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.

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.