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

#include <l4/sys/kernel_object.h>