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 client-server scenario
describes the steps for creating and executing a system scenario of two components interacting via a custom inter-component RPC interface.
- Configuration of the init component
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.