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.