![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Documentation for the L4Re C Interface. More...
Topics | |
| L4Re Util C Interface | |
| Documentation of the L4 Runtime Environment utility functionality in C. | |
| Dataspace interface | |
| Dataspace C interface. | |
| Debug interface | |
| DMA Space Interface | |
| DMA Space C interface. | |
| Event interface | |
| Event C interface. | |
| Log interface | |
| Log C interface. | |
| Memory allocator | |
| Memory allocator C interface. | |
| Namespace interface | |
| Namespace C interface. | |
| Parent interface | |
| Region map interface | |
| Region map C interface. | |
| Capability allocator | |
| Capability allocator C interface. | |
| Kumem allocator utility | |
| Kumem allocator utility C interface. | |
| Video API | |
| Initial Environment | |
| C interface of the initial environment that is provided to an L4 task. | |
Files | |
| file | inhibitor.h |
| Inhibitor C interface. | |
Documentation for the L4Re C Interface.
The interface functions closely align with the C++ functions and add no further functionalities.
For new programs it is advised to use the C++ interface.