| Interfaces for all kinds of base functionality | |
| L4 standard macros for header files, function definitions, and public APIs etc | |
| Various functions for cache consistency | |
| Functions and definitions related to capabilities | |
| Common error codes | |
| Kernel debugger extensions of the Fiasco L4 implementation | |
| Flex-page related API | |
#include<l4/sys/l4int.h> | |
| Kernel Interface Page | |
| API of kernel objects | |
| Operations for memory access | |
| Memory related constants, data types and functions | |
| API for L4 object invocation | |
| This interface has just two (main) functions | |
| Documentation for the L4Re C Interface | |
| Capability allocator C interface | |
| Dataspace C interface | |
| Event C interface | |
| Kumem allocator utility C interface | |
| Documentation of the L4 Runtime Environment utility functionality in C | |
| Log C interface | |
| Memory allocator C interface | |
| Namespace C interface | |
| Region map C interface | |
| Documentation of the L4 Runtime Environment C++ API | |
| Console interface | |
| Data-Space API | |
| Debugging Interface | |
| Event interface | |
| Environment that is initially provided to an L4 task | |
| API for embedding auxiliary information into binary programs | |
| Basic protocol identifiers used for L4Re | |
| Documentation of the L4 Runtime Environment utility functionality in C++ | |
| Interface for log output | |
| Memory-allocator interface | |
| API for name spaces that store capabilities | |
| Parent interface | |
| Virtual address-space management | |
| L4SHM provides a shared memory infrastructure that establishes a shared memory area between multiple parties and uses a fast notification mechanism | |
| Sigma0 API bindings | |
| Internal sigma0 definitions | |
| This library provides some functions for bitmap handling in frame buffers | |
| Functions and types related to ELF binaries | |
| VCPU handling functionality | |
| Extended vCPU handling functionality |