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 OS Framework release 13.02 Feb 28, 2013
- the framework enables the use of ARM Cortex A15, comes with a new audio interface, and introduces file-system notifications.
- Road Map 2013 Jan 15, 2013
- The updated road map provides the background and rough schedule for the advances of the framework planned for 2013.
- Genode OS Framework release 12.11 Nov 29, 2012
- With version 12.11, Genode has become able to execute the Genode build system directly on microkernels, introduces audio drivers based on the Open Sound System project, and largely revisits the platform mechanisms used on Linux.
- How Genode came to the Pandaboard Nov 23, 2012
- In the just published experience report, the Genode developers provide insights into the process of porting the framework to a new hardware platform, namely the popular Pandaboard.
- Genode OS Framework release 12.08 Aug 23, 2012
- Version 12.08 introduces a way to execute the framework on bare ARM hardware without the need for a separate kernel, adds comprehensive device-driver support for the OMAP4 SoC, and revives NOVA as base platform.
- NOVA Hypervisor supported on 64-bit x86 machines Jul 27, 2012
- NOVA combines microkernel principles with capability-based security and virtualization technology. The updated version complements the existing x86_32 support with a new variant for x86_64.
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.