Genode developer resources

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

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

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.

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

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

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

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

specifies the rules for a consistent coding style for Genode.