API reference index

This page is a collection of the application-programming interfaces of Genode. At present, the complete base API of the OS framework is covered. The documentation of further services, protocol stacks, and device drivers as contained in the os repository is subject to ongoing work.

Base API

The base API comprises all interfaces provided with the base repositories including the core services, the RPC communication framework, libraries, and data structures.

Device-Driver-Environment

The DDE Kit is a C API for developing and porting device drivers. Because most existing device drivers are written in C, this API facilitates the porting of such drivers to Genode.