About Genode

Genode is a novel operating-system architecture that enables dynamic workload while retaining security and robustness. The fundamental difference of Genode compared to other OS architectures is its strict organizational structure, which allows the execution of sensitive applications with a trusted computing base of a few thousand lines of code beside high-complexity workload. With its organizational approach, the architecture facilitates a clean separation of policies and mechanisms, and enables the definition and application of system policies in a natural and distributed fashion. Genode's resource-management concept enables highly dynamic workload but still retains deterministic behaviour normally only found in statically configured systems. Learn more about the concepts of Genode...

The Genode OS framework is the reference implementation of this architecture. Its low source-code complexity of less than 10,000 lines of code not only eases thorough evaluation but principally enables the application of formal verification methods to the code base.

Genode's targeted application domains include high-security computing, dependable systems, automotive applications, and mobile devices. Even though the Genode OS framework mainly addresses specialized applications in the mid-term, we believe that the implemented mechanisms scale well towards the needs of a general-purpose operating system.

Genode is an offspring of the L4 community. Until spring 2008, it was conducted internally within the TU Dresden OS research group. The foundation of Genode Labs by the original creators of Genode marks the transition of Genode to a community project.

Road map

The direction where the project is currently heading

Challenges

A collection of project ideas, giving a glimpse on possible future directions

Publications

Publications related to Genode

Licensing

Open-Source and commercial licensing