▼Base API | Interfaces for all kinds of base functionality |
Basic Macros | L4 standard macros for header files, function definitions, and public APIs etc |
►C++ IPC Interface Definition. | APIs for defining IPC interfaces using C++ as language |
Internal Helpers | |
Cache Consistency | Various functions for cache consistency |
Capabilities | C interface for capabilities |
Error codes | Common error codes |
►Fiasco extensions | Extensions of the Fiasco L4 implementation |
Fiasco real time scheduling extensions | Real time scheduling extension for the Fiasco L4 implementation |
Kernel Debugger | Kernel debugger related functionality |
Kernel Tracing | Kernel tracing related functionality |
Flex pages | Flex-page related API |
Integer Types | |
►Kernel Interface Page | Kernel Interface Page |
Fiasco-UX Virtual devices | Virtual hardware devices, provided by Fiasco-UX |
Memory descriptors (C version) | C Interface for KIP memory descriptors |
►Kernel Objects | API of kernel objects |
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 |
Thread control | API for Thread Control method |
vCPU API | VCPU API |
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 |
VM API for SVM | Virtual machine API for SVM |
VM API for TZ | Virtual Machine API for ARM TrustZone |
VM API for VMX | Virtual machine API for VMX |
Memory operations. | Operations for memory access |
Memory related | Memory related constants, data types and functions |
►Object Invocation | API for L4 object invocation |
Error Handling | Error handling for L4 object invocation |
Message Items | Message item related functions |
Message Tag | API related to the message tag data type |
Realtime API | |
Timeouts | All kinds of timeouts and time related functions |
►Virtual Registers (UTCBs) | L4 Virtual Registers (UTCB) |
ARM Virtual Registers (UTCB) | |
Buffer Registers (BRs) | |
►Message Registers (MRs) | |
Exception registers | Overly definition of the MRs for exception messages |
Thread Control Registers (TCRs) | |
amd64 Virtual Registers (UTCB) | |
x86 Virtual Registers (UTCB) | |
EDID parsing functionality | |
IO interface | |
▼IRQ handling library | |
►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 |
►Interface using direct functionality. | |
Interface using direct functionality. | |
L4 IPC Opcodes | List of protocol specific opcodes used for communication with L4Re and Kernel objects |
▼L4 VIRTIO Interface | |
L4 VIRTIO Block Device | |
L4 VIRTIO Input Device | |
L4 VIRTIO Network Device | |
L4 VIRTIO Transport Layer | L4 specific VIRTIO Transport layer |
▼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 |
Capability allocator | Capability allocator C interface |
DMA Space Interface | DMA Space C interface |
Dataspace interface | Dataspace C interface |
Debug interface | |
Event interface | Event C interface |
Initial Environment | C interface of the initial environment that is provided to an L4 task |
Kumem allocator utility | Kumem allocator utility C interface |
L4Re Util C Interface | Documentation of the L4 Runtime Environment utility functionality in C |
Log interface | Log C interface |
Memory allocator | Memory allocator C interface |
Namespace interface | Namespace C interface |
Region map interface | Region map C interface |
Video API | |
▼L4Re C++ Interface | Documentation of the L4 Runtime Environment C++ API |
Auxiliary data | |
C++ Exceptions | |
Console API | Console interface |
Debugging API | Debugging Interface |
Event API | Event API |
L4Re ELF Auxiliary Information | API for embedding auxiliary information into binary programs |
L4Re Protocol identifiers | Fix L4Re Protocol Constants |
►L4Re Util C++ Interface | Documentation of the L4 Runtime Environment utility functionality in C++ |
Kumem utiltities | |
L4Re Capability API | |
Logging interface | Interface for log output |
Name-space API | API for name spaces that store capabilities |
Parent API | Parent interface |
Region map API | Virtual address-space management |
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 |
Internal | |
Receiver | |
Sender | |
Server-Side IPC framework | Server-Side framework for implementing object-oriented servers |
▼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 | |
Consumer | |
Producer | |
►Signals | |
Consumer | |
Producer | |
▼Sigma0 API | Sigma0 API bindings |
Internal constants | Internal sigma0 definitions |
Small C++ Template Library | |
▼Utility Functions | Utilities, generic file |
Atomic Instructions | |
Bit Manipulation | |
►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 | |
Comfortable Command Line Parsing | |
ELF binary format | Functions and types related to ELF binaries |
Functions to manipulate the local IDT | |
IA32 Port I/O API | |
Internal functions | |
Kernel Interface Page API | |
Low-Level Thread Functions | |
Random number support | |
Timestamp Counter | |
▼vCPU Support Library | VCPU handling functionality |
Extended vCPU support | Extended vCPU handling functionality |