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 an open-source tool kit for building highly secure component-based operating systems. It scales from embedded devices to dynamic general-purpose computing.

keywords

capability-based security, microkernel, principle of least authority, sandboxing, virtualization

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 Road Map for 2019 Jan 15, 2019
In 2019, we will focus on practical use cases, on interoperability, and on harmonizing Genode with existing applications and programming languages.
News Item Genode OS Framework release 18.11 Nov 29, 2018
Genode 18.11 is focused on improving quality assurance on various fronts, including static code analysis, on-target test orchestration, and code-coverage measurements. Furthermore, it introduces support for Mirage-OS unikernels, a new health-monitoring mechanism, a Genode SDK, an SSH server, and a new window layouter.
News Item Dual licensing of 3rd-party Genode components Nov 16, 2018
To nurture a sustainable ecosystem around the Genode OS framework, we introduce a new approach for conducting dual-licensing businesses enabled by Genode.
News Item Sculpt with Visual Composition Sep 21, 2018
The third version of Sculpt OS introduces an interactive runtime view for managing components.
News Item Genode OS Framework release 18.08 Aug 30, 2018
Genode 18.08 advances the framework's device drivers to accommodate modern PC hardware, introduces a new microcode-update mechanism for Intel CPUs, and enhances the networking and VFS infrastructure. With the new version, Sculpt OS enters the next stage by moving towards an interactive graphical user interface.
News Item Sculpt for The Curious Jun 13, 2018
The second incarnation of Sculpt OS comes in the form of a ready-to-use disk image.
More...