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 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