L4Re - L4 Runtime Environment
|
API of kernel objects. More...
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.