GeezerVison

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 26.10 Oct 30, 2026

Sculpt OS 26.10 uses Genode's custom microkernel by default, drops XML, hosts virtual machines in VirtualBox 7, and turns the USB host-controller driver into a pluggable component.

Genode OS Framework release 26.08 Aug 25, 2026

The highlights of Genode 26.08 are VirtualBox 7, improved PC performance of our custom microkernel, the new ability to transparently reconfigure virtual file systems, revised timing and timeout handling, and a Linux 6.18.19 device-driver environment for ARM. Furthermore, the first version of a Goa-based SDK has become natively available for Sculpt OS.

Meet us at FroSCon during August 15-16 Jul 30, 2026

We are delighted to present Genode and Sculpt OS with a stand at FrOSCon this year again.

Genode OS Framework release 26.05 May 29, 2026

Genode 26.05 turns the most innovative aspects of Sculpt OS into reusable framework features while advancing the driver support across the board including LTE, I2C HID, SOF audio, ACPI, and Wifi. Further highlights are touch-based window management, the update of Qt to version 6.8.3, and a variety of Goa SDK improvements. The release is topped off with fresh revisions of the "Foundations", "Applications", and "Platforms" books.

Sculpt OS release 26.04 Apr 30, 2026

Sculpt OS 26.04 gives the user unprecedented transparency and interactive control over all components underpinning the operating system.

Genode OS Framework release 26.02 Feb 26, 2026

Version 26.02 replaces XML with the custom-designed HID configuration format, completes the first half of the project's migration from GitHub to Codeberg, updates DDE-Linux-based protocol stacks to Linux kernel version 6.18, and further cultivates the genode-world repository as designated place for ported 3rd-party software.

More...