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.

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 Sculpt for Early Adopters Mar 02, 2018
A detailed step-by-step guide for installing and using the Genode-based Sculpt OS is available now.
News Item Genode OS Framework release 18.02 Feb 28, 2018
Genode version 18.02 kicks off the Year of Sculpt by featuring the first revision of the Sculpt operating system for general-purpose computing. Further highlights of the new release range from network-stack improvements, over a new tracing utility, to the experimental use of the Nim programming language.
News Item Road Map for 2018 Jan 17, 2018
2018 will be the year of Sculpt.
News Item Genode at FOSDEM 2018 Jan 16, 2018
Genode will participate in the microkernel developer room at FOSDEM with three presentations, covering our recent work on GPUs, user-level networking, and the dynamic sculpting of a Genode-based system.
News Item Genode OS Framework release 17.11 Nov 30, 2017
Most of the many improvements of version 17.11 are geared towards the practical use of Genode as day-to-day OS. They include a reworked GUI stack, new user-input features, and the packaging of many components. The new version also revises the boot concept on x86, updates the seL4 kernel, and enhances Genode's user-level networking facilities.
News Item Genode OS Framework release 17.08 Aug 30, 2017
Version 17.08 enables hardware-accelerated graphics on Intel-Gen8 GPUs and expands Genode's seL4-kernel support to the ARM and 64-bit x86 architectures. Further topics are UEFI boot, VFS enhancements such as a new FatFS plugin, and the use of Genode as Xen DomU.
More...