L4Re Operating System Framework
Interface and Usage Documentation
|
API of kernel objects. More...
Modules | |
DMA space | |
A DMA space represents a device memory address space managed by an IOMMU. | |
Factory | |
C factory interface to create objects, see L4::Factory for the C++ interface. | |
IPC-Gate API | |
The C IPC gate interface, see L4::Ipc_gate for the C++ interface. | |
IRQs | |
C IRQ interface, see L4::Irq for the C++ interface. | |
Interrupt controller | |
The C Icu interface, see L4::Icu for the C++ interface. | |
Kernel-provided semaphore | |
C semaphore interface, see L4::Semaphore for the C++ 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, see L4::Platform_control for the C++ interface. | |
Scheduler | |
C interface of the Scheduler kernel object, see L4::Scheduler for the C++ interface. | |
Task | |
C interface of the Task kernel object, see L4::Task for the C++ interface. | |
Thread | |
C Thread object interface, see L4::Thread for the C++ interface. | |
Virtual Console | |
C Virtual console interface for simple character based input and output, see L4::Vcon for the C++ interface. | |
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 host address space. More... | |
API of kernel objects.