Documentation of functions, structures and defines is done in the source code. Documentation of concepts is done in separate files. To get an overview of the general concepts, browse through the pages referenced by the main page. These pages will contain links to documented source-files describing things in more detail.
A documented source-file contains a comment about what the file is dealing with. In some cases, a more detailed description of the file is available. File members are listed then together with their desrciption. A formated version of the source-files itself is also available via links within these documented source-files.
The concept pages together with this page are generated from the file general.dox. Source-file documentation is generated from c-files in lib/src, server/src and from some header files in include/l4/log.
1.5.6