Loading...
Searching...
No Matches
Topics
Here is a list of all topics with brief descriptions:

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