L4Re - L4 Runtime Environment
Kernel Objects

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

Detailed Description

API of kernel objects.

Include File