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
►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
IPC Helpers
▼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
Parent 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