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
- 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.
- New community forum at Discourse Aug 13, 2024
- Our new community forum is organized by Genode users to share ideas and experiences, help newcomers, and discuss Genode-related projects.
- Meet us at FroSCon during August 17-18 Jul 30, 2024
- The Genode project will host a booth at this year's Free and Open-Source Software Conference in Sankt Augustin.
- Genode OS Framework release 24.05 May 30, 2024
- The highlights of Genode 24.05 are the new ability to run Sculpt OS on our custom kernel, GDB on Sculpt OS, suspend/resume, the redesign of the framework's USB infrastructure, and the completed transition to the new audio interfaces. The release is accompanied with the annual update of the "Genode Foundations" book.
- Sculpt OS release 24.04 Apr 26, 2024
- Sculpt OS 24.04 is rich of new user-visible features. It now supports 4K displays and I2C touchpads out of the box, brings experimental support for suspend/resume, allows the fine-grained assignment of USB devices to applications and VMs, and introduces new audio-mixing capabilities.
- Genode OS Framework release 24.02 Feb 29, 2024
- Version 24.02 revisits Genode's audio support for latency-sensitive scenarios, flexible sample rates, and pluggable drivers. It also introduces the new ability of the Goa SDK to use Sculpt OS as remote test target, comes with a new TCP/IP stack based on Linux 6.1.20, makes drivers aware of suspend/resume, and improves HID event handling.