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 Book
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...
Genode News
RSS feed
-
Road Map for 2021
Jan 15, 2021
- In 2021, we plan to bring Genode to the Pinephone, advance the framework's GPU support, and focus on development workflows.
-
Genode OS Framework release 20.11
Nov 27, 2020
- Genode 20.11 brings Sculpt OS to 64-bit ARM hardware, introduces dynamic CPU-load balancing, and enables multicore virtualization on ARM. Driver-wise, the release improves audio on PC hardware, and adds VirtIO networking support.
-
Sculpt OS release 20.08
Sep 17, 2020
- Version 20.08 of the Sculpt operating system refines the user experience and becomes able to host the Chromium-based Falkon web browser.
-
Genode OS Framework release 20.08
Aug 28, 2020
- With Genode 20.08, the low-level GUI stack underwent a profound redesign, the Chromium web engine comes to life, the i.MX8 support covers clock and power management, and the CBE block encrypter becomes highly modular.
-
Genode OS Framework release 20.05
May 28, 2020
- Version 20.05 wraps up the consolidation of Noux with the C runtime, advances the device-driver infrastructure and virtualization support on ARM, reaches feature-completion of our block encryptor, and leverages seccomp for sandboxing components on top of Linux.
-
Sculpt OS release 20.02
Mar 10, 2020
- Version 20.02 of the Sculpt operating system revisits the administrative user interface for a more intuitive and logical user experience.
