Genode developer resources

The developer resources provide information for your hands-on introduction to Genode.

How to start exploring Genode

guides you through the source code and sheds light on the build system. During the tutorial, the Genode demo scenario runs on Linux.

Walking through the Genode demo scenario

gives detailed information about the demo and Genode's specific features.

Build system manual

explains the concepts behind Genode's build system, provides guidance with creating custom programs and libraries, and covers the tool support for the automated integration and testing of application scenarios.

Creating your first Genode application

describes the famous "hello, world" implemented with the Genode OS framework as a client-server application.

Configuration of the init process

describes Genode's configuration concept, the routing of service requests, and the expression of mandatory access-control policies.

User-level debugging on Genode via GDB

outlines various traditional approaches of debugging Genode programs and introduces GDB monitor as a powerful user-level debugging facility.

Porting existing software to Genode

provides step-by-step guidance for porting existing libraries, applications, and device drivers to Genode.

Conventions for the Genode development

outlines our conventions for naming files, naming services, and writing documentation.

Coding style guidelines

specifies the rules for a consistent coding style for Genode.