Loading...
Searching...
No Matches
Kernel Objects
Base API

API of kernel objects. More...

Collaboration diagram for Kernel Objects:

## Topics

| IPC-Gate API
| The C IPC gate interface, see L4::Ipc_gate for the C++ interface.
| DMA space
| A DMA space represents a device memory address space managed by an IOMMU.
| L4 kernel object type information
| Type information for L4 server objects that can be called via IPC.
| Factory
| C factory interface to create objects, see L4::Factory for the C++ interface.
| Virtual Machines
| Virtual Machine API.
| Interrupt controller
| The C Icu interface, see L4::Icu for the C++ interface.
| IRQs
| C IRQ interface, see L4::Irq for the C++ interface.
| 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.
| Kernel-provided semaphore
| C semaphore interface, see L4::Semaphore 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.
| Thread groups
| C thread group interface, see L4::Thread_group for the C++ interface.
| Virtual Console
| C Virtual console interface for simple character based input and output, see L4::Vcon for the C++ interface.

## 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
  #include <l4/sys/kernel_object.h>
  kernel_object.h
  Kernel object system calls.