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.

The Book

The book "Genode Foundations" describes the Genode OS Framework in a holistic and comprehensive way. It equips the reader with a thorough understanding of the architecture, assists developers with the explanation of the development environment and system configuration, and provides a look under the hood of the framework. Furthermore, it contains the specification of the framework's programming interface. Download the book as PDF

Genode News RSS feed

News Item Open-source license update Feb 21, 2017
With the upcoming version 17.02, Genode will adopt the GNU Affero General Public License (AGPLv3) as its regular open-source license.
News Item Road Map for 2017 Jan 17, 2017
The year 2017 will be overall focused on stressing the scalability and stability of the framework.
News Item Genode at FOSDEM 2017 Jan 11, 2017
The microkernel developer room at this year's FOSDEM will host four Genode-related talks, ranging from our custom kernel, over kernel-independent binaries, execution replay, to Genode's VFS infrastructure.
News Item Genode OS Framework release 16.11 Nov 30, 2016
Version 16.11 revisits the most fundamental low-level protocols of the framework to further improve its scalability, refines the virtual networking facilities, adds support for smart cards, and improves the NOVA kernel.
News Item Genode OS Framework release 16.08 Aug 31, 2016
Genode 16.08 makes the entirety of the framework's drivers, protocol stacks, and libraries available on the seL4 kernel, brings VirtualBox 4 to the Muen separation kernel, and hosts VirtualBox 5 on top of the NOVA kernel. Further highlights are virtual networking and TOR, profound Zynq board support, and tools for statistical profiling.
News Item Genode OS Framework release 16.05 May 27, 2016
With version 16.05, the Genode API receives a fundamental revision. The list of further improvements ranges from the introduction of Rust, over improved GDB support, to a profound update of many device drivers and ACPI features.