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.

introduces Genode's custom approach and tools for the packaging and publishing of reusable components.

describes the steps for creating and executing a system scenario of two components interacting via a custom inter-component RPC interface.

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

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

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

specifies the rules for a consistent coding style for Genode.