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 Books

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 as PDF or Browse online...

The "Genode Platforms" document complements the Genode Foundations book with low-level hardware-related topics. It is primarily intended for integrators and developers of device drivers. Download as PDF

Genode News RSS feed

News Item Sculpt OS release 21.10 Oct 14, 2021
Sculpt OS version 21.10 introduces GPU-accelerated graphics on Intel, media playback in the web browser, VirtualBox 6, and USB webcam support.
News Item Genode OS Framework release 21.08 Aug 31, 2021
The highlights of Genode 21.08 are revamped GPU support as well as new drivers for the Pinephone and MNT-Reform laptop based on a new streamlined approach for porting Linux kernel code. Further topics range from VirtualBox improvements, over media playback in the native web browser, to LTE connectivity in Sculpt OS.
News Item Genode OS Framework release 21.05 May 31, 2021
Version 21.05 introduces webcam support, features an encrypted file vault for Sculpt OS, and adds new drivers for the i.MX8 SoC and Pine-A64. Furthermore, it is accompanied with a new tool chain based on GCC 10 and new guidance documentation for driver development.
News Item Sculpt OS 21.03 boots now in 2.5 seconds May 03, 2021
We have released an updated Sculpt 21.03 image featuring several hardware-compatibility tweaks and performance improvements.
News Item Sculpt OS release 21.03 Mar 24, 2021
Version 21.03 of the Sculpt operating system makes the system resilient against classes of driver failures, adds configurable real-time priorities, and introduces interfaces for screen capturing and user-event injection.
News Item Genode OS Framework release 21.02 Feb 25, 2021
The highlights of version 21.02 are the addition of VirtualBox 6, mobile-data connectivity via LTE, pluggable network drivers, initial support for the Pine-A64-LTS board, and revived work on RISC-V.
More...