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

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.

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.

Road Map for 2018 Jan 17, 2018

2018 will be the year of Sculpt.

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.

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.

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...