L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
Kernel Objects

API of kernel objects. More...

+ Collaboration diagram for Kernel Objects:

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...
 

Detailed Description

API of kernel objects.

Include File
Kernel object system calls.