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 23.02
Feb 28, 2023
- Version 23.02 introduces system-update functionality to the mobile version of Sculpt OS, enhances our ARM VMM for interactive guest OSes, adds DMA protection to Xilinx Zynq via a custom IP core, extends suspend/resume support, and makes Intel's P&E cores explicitly manageable.
-
Road Map for 2023
Jan 17, 2023
- In 2023, we will make the mobile version of Sculpt OS fit for end users, unleash advanced hardware features of Intel platforms, switch to C++20 by default, and run the feature-complete PC version of Sculpt OS on Genode's custom-tailored microkernel.
-
Genode OS Framework release 22.11
Nov 30, 2022
- Genode 22.11 enables hardware-accelerated graphics on up-to-date Intel GEN12+ hardware, introduces work flows for hardware-software co-design, wraps up the framework's unified device-driver infrastructure across PC and ARM, and pushes forward the use of Genode on the PinePhone.
-
Sculpt OS release 22.10
Oct 13, 2022
- Sculpt OS 22.10 is a maintenance release of our Genode-based general-purpose OS. It imposes a new rigid regime to the management of low-level devices, improves USB hotplug support, and comes with numerous performance optimizations.
-
Genode OS Framework release 22.08
Aug 31, 2022
- The overarching theme of Genode 22.08 is the emerging phone variant of Sculpt OS, touching topics as diverse as USB ECM, Mali-400 GPU, SD-card access, telephony, mobile-data connectivity, the Morph web browser, and a custom user interface. Among the further highlights are new tracing tools, improved network performance USB smart-card support, and VirtIO drivers for RISC-V.
-
Genode OS Framework release 22.05
May 31, 2022
- The highlights of Genode 22.05 are the new support for WireGuard virtual private networks and a fresh lineup of PC device drivers. Further topics are basic telephony with the PinePhone and dynamic device management on Xilinx Zynq.
