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
-
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.
-
Genode OS Framework release 20.02
Feb 28, 2020
- With version 20.02, Genode makes Sculpt OS fit for running on i.MX 64-bit ARM hardware, optimizes the performance throughout the entire software stack, and takes the next evolutionary step of the user-facing side of Sculpt OS.
-
Road Map for 2020
Jan 20, 2020
- In 2019, we will be concerned about dwarfing the barrier of entry into the Genode world.
