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.
- 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.