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.
News
-
Genode on the L4ka::Pistachio kernel
- 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.
-
Public bug tracker available
- Because we received several requests for a public bug tracker, we have now enabled the public tracker of our Sourceforge project.
-
Genode OS Framework release 8.11
- We are pleased to announce the release 8.11 of the Genode OS Framework introducing a new device-driver API, a C runtime, support for asynchronous notifications, and many improvements of the base API.
-
Ready-to-boot Live-CD image available
- As a teaser for the upcoming release 8.11, we have compiled a Live-CD image showing off the current state of the Genode OS Framework.
-
New and exciting challenges ahead
- To foster the involvement of developers interested in working on Genode, we have enhanced the compilation of future challenges in our Wiki by a number of interesting Genode-related projects to pursue.
Latest 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...
