Topics

Here is a list of all topics with brief descriptions:

[detail level 12345]

Base API	Interfaces for all kinds of base functionality
Basic Macros	L4 standard macros for header files, function definitions, and public APIs etc
Fiasco extensions	Extensions of the Fiasco L4 implementation
Kernel Debugger	Kernel debugger related functionality
Kernel Information Dump	Kernel information dumping related functionality
Kernel Tracing	Kernel tracing related functionality
Flexpages	Flexpage-related API
C++ IPC Interface Definition.	APIs for defining IPC interfaces using C++ as language
Internal Helpers
Cache Consistency	Various functions for cache consistency
Memory related	Memory related constants, data types and functions
Error codes	Common error codes
Object Invocation	API for L4 object invocation
Message Items	Message-item-related functionality
Timeouts	All kinds of timeouts and time related functions
Error Handling	Error handling for L4 object invocation
Realtime API
Message Tag	API related to the message tag data type
Virtual Registers (UTCBs)	L4 Virtual Registers (UTCB)
Message Registers (MRs)
Exception registers	Overly definition of the MRs for exception messages
Buffer Registers (BRs)
Thread Control Registers (TCRs)
ARM Virtual Registers (UTCB)
ARM64 Virtual Registers (UTCB)
AMD64 Virtual Registers (UTCB)
x86 Virtual Registers (UTCB)
Kernel Objects	API of kernel objects
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
VM API for SVM	Virtual machine API for SVM
VM API for VMX	Virtual machine API for VMX
VM API for TZ	Virtual Machine API for ARM TrustZone
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 control	API for Thread Control method
vCPU API	VCPU API
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
Kernel Interface Page	Kernel Interface Page
Memory descriptors (C version)	C Interface for KIP memory descriptors
Capabilities	C interface for capabilities
Memory operations.	Operations for memory access
Integer Types
EDID parsing functionality
IO interface
IPC Helpers
IRQ handling library
Interface using direct functionality.
Interface using direct functionality.
Interface for asynchronous ISR handlers.	This interface has just two (main) functions
Interface for asynchronous ISR handlers with a given IRQ capability.	This group is just an enhanced version to l4irq_request() which takes a capability object instead of a plain number
L4 IPC Opcodes	List of protocol specific opcodes used for communication with L4Re and Kernel objects
L4 VIRTIO Interface
L4 VIRTIO Transport Layer	L4 specific VIRTIO Transport layer
L4 VIRTIO Block Device
L4 VIRTIO Input Device
L4 VIRTIO Network Device
L4 Vbus functions	C interface of the Vbus API
L4vbus GPIO functions
L4vbus PCI functions
L4vbus power management functions
L4Re C Interface	Documentation for the L4Re C Interface
L4Re Util C Interface	Documentation of the L4 Runtime Environment utility functionality in C
Dataspace interface	Dataspace C interface
Debug interface
DMA Space Interface	DMA Space C interface
Event interface	Event C interface
Log interface	Log C interface
Memory allocator	Memory allocator C interface
Namespace interface	Namespace C interface
Parent interface
Region map interface	Region map C interface
Capability allocator	Capability allocator C interface
Kumem allocator utility	Kumem allocator utility C interface
Video API
Initial Environment	C interface of the initial environment that is provided to an L4 task
L4Re C++ Interface	Documentation of the L4 Runtime Environment C++ API
L4Re Util C++ Interface	Documentation of the L4 Runtime Environment utility functionality in C++
L4Re Capability API
Kumem utiltities
Console API	Console interface
Debugging API	Debugging Interface
L4Re ELF Auxiliary Information	API for embedding auxiliary information into binary programs
Event API	Event API
Auxiliary data
Logging interface	Interface for log output
Name-space API	API for name spaces that store capabilities
Parent API	Parent interface
L4Re Protocol identifiers	Fix L4Re Protocol Constants
Region map API	Virtual address-space management
Video API	API for framebuffer based graphics
C++ Exceptions
Vbus API	C++ interface of the Vbus API
L4SHM-based ring buffer implementation	The library provides a non-locking (strictly 1:1) shared-memory-based ring buffer implementation based on the L4SHM library
Sender
Receiver
Internal
Shared Memory Library	L4SHM provides a shared memory infrastructure that establishes a shared memory area between multiple parties and uses a fast notification mechanism
Chunks
Producer
Consumer
Signals
Producer
Consumer
Sigma0 API	Sigma0 API bindings
Internal constants	Internal sigma0 definitions
Small C++ Template Library
The L4Re IPC Framework	The mechanisms for IPC communication between L4Re applications
Server-Side IPC framework	Server-Side framework for implementing object-oriented servers
Utility Functions	Utilities, generic file
Bitmap graphics and fonts	This library provides some functions for bitmap handling in frame buffers
Functions for rendering bitmap data in frame buffers
Functions for rendering bitmap fonts to frame buffers
CPU related functions
Timestamp Counter
Atomic Instructions
Internal functions
Bit Manipulation
ELF binary format	Functions and types related to ELF binaries
Kernel Interface Page API
Comfortable Command Line Parsing
Random number support
Low-Level Thread Functions
IA32 Port I/O API
Virtio Net Switch	A virtual network switch that can be used as defined in the virtio protocol
vCPU Support Library	VCPU handling functionality
Extended vCPU support	Extended vCPU handling functionality