|
L4Re - L4 Runtime Environment
|
API of kernel objects. More...
Collaboration diagram for Kernel Objects:Modules | |
| Factory | |
| C factory interface to create kernel objects. | |
| IPC-Gate API | |
| Secure communication object. | |
| IRQs | |
| C IRQ interface. | |
| Interrupt controller | |
| The C Icu interface. | |
| L4 kernel object type information | |
| Type information for L4 server objects that can be called via IPC. | |
| Platform Control C API | |
| C interface for controlling platform-wide properties. | |
| Scheduler | |
| C interface of the Scheduler kernel object. | |
| Task | |
| C interface of the Task kernel object. | |
| Thread | |
| Thread object. | |
| Virtual Console | |
| Virtual console for simple character based input and output. | |
| Virtual Machines | |
| Virtual Machine API. | |
Data Structures | |
| class | L4::Kobject |
| Base class for all kinds of kernel objects and remote objects, referenced by capabilities. More... | |
| class | L4::Vm |
| Virtual machine. More... | |
API of kernel objects.