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.11 Nov 28, 2013
- In addition to evolving the Genode API to better accommodate dynamic workloads, version 13.11 comes with a host of new features such as Qt5 QML, the Linux TCP/IP as user-level library, file systems based on FUSE, and HDMI support for Exynos-5 and Raspberry Pi.
- Genode OS Framework release 13.08 Aug 15, 2013
- We celebrate our 5th anniversary with the addition of three major features: Qt5 on all kernels, profound multi-processor support on the NOVA and Fiasco.OC kernels, and light-weight tracing of inter-process communication.
- Genode OS Framework release 13.05 May 30, 2013
- The highlights of version 13.05 are new tools for automated testing and benchmarking including a suite of networking benchmarks, added device drivers for the Samsung Exynos 5 and Freescale i.MX SoCs, and new components for the operation of headless systems.
- Genode OS Framework release 13.02 Feb 28, 2013
- The version 13.02 takes a major leap with supporting the NOVA hypervisor by fully embracing IOMMUs and NOVA's virtualization capabilities. Additionally, 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.
Qt version 5.1 running natively on Genode 13.08.
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 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.