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.

The Books

The book "Genode Applications" provides a beginner-friendly starting point for the development and porting of applications to Genode and Sculpt OS in particular. It introduces the Goa SDK, describes key libraries, components, and conventions such as the C runtime, VFS, NIC router, and package management, provides application-debugging aid, and tops off with a collection of advanced tutorials. Download as PDF

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

Sculpt OS release 25.04 Apr 29, 2025

Sculpt OS 25.04 brings compatibility with Intel's Meteor-Lake hardware, introduces multi-monitor window management and display rotation, and is accompanied by a major update of the Chromium web engine.

Genode OS Framework release 25.02 Feb 28, 2025

Version 25.02 extends Genode's multi-monitor abilities to the window-management level and to virtual machines, features the ports of Qemu and the Chromium web engine version 112, boosts the graphics performance via SIMD optimizations, and brings Sculpt OS to the latest Intel Meteor-Lake Framework laptops as well as F&S MX8MP armStone hardware.

Road Map for 2025 Jan 22, 2025

We dedicate the year 2025 to Genode's rigidity, clarity, and performance.

Genode OS Framework release 24.11 Nov 22, 2024

With mirrored and panoramic multi-monitor setups, pointer grabbing, atomic blitting and panning, and panel-self-refresh support, Genode's GUI stack gets ready for the next decade. Hardware-wise, version 24.11 brings a massive driver update for the i.MX SoC family. As a special highlight, the release is accompanied by the first edition of the free book "Genode Applications" as a gateway for application developers into Genode.

Sculpt OS release 24.10 Oct 30, 2024

Thanks to a largely revamped GUI stack, the Genode-based Sculpt OS 24.10 has gained profound support for multi-monitor setups.

Genode OS Framework release 24.08 Aug 29, 2024

Genode 24.08 introduces the Qt6 application framework, updates all Linux-based components and PC device drivers to Linux version 6.6.47, equips the Goa SDK with remote debugging support, modernizes the base and GUI interfaces of the framework, extends the board support for i.MX-based devices, and explores AVX on x86.

More...