Loading...
Searching...
No Matches
Base API

Interfaces for all kinds of base functionality. More...

Collaboration diagram for Base API:

## Topics

| Basic Macros
| L4 standard macros for header files, function definitions, and public APIs etc.
| Fiasco extensions
| Extensions of the Fiasco L4 implementation.
| Flexpages
| Flexpage-related API.
| C++ IPC Interface Definition.
| APIs for defining IPC interfaces using C++ as language.
| 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.
| Kernel Objects
| API of kernel objects.
| Kernel Interface Page
| Kernel Interface Page.
| Capabilities
| C interface for capabilities.
| Memory operations.
| Operations for memory access.
| Integer Types

## Files

file | cache.h
| Cache-consistency functions.
file | compiler.h
| L4 compiler related defines.
file | consts.h
| Common constants.
file | debugger.h
| Debugger related definitions.
file | factory.h
| Common factory related definitions.
file | icu
| Interrupt controller.
file | icu.h
| Interrupt controller.
file | ipc.h
| Common IPC interface.
file | irq.h
| C Irq interface.
file | kip
file | kip.h
| Kernel Info Page access functions.
file | memdesc.h
| Memory description functions.
file | semaphore.h
| C semaphore interface.
file | types.h
| Common L4 ABI Data Types.
file | consts.h
| Common L4 constants, arm version.
file | consts.h
| Common L4 constants, arm version.
file | consts.h
| Common L4 constants, AMD64 version.
file | ipc.h
| L4 IPC System Calls, x86.
file | consts.h
| Common L4 constants, x86 version.

## Detailed Description

Interfaces for all kinds of base functionality.

Some notes on Inter Process Communication (IPC)

IPC in L4 is always synchronous and unbuffered: a message is transferred from the sender to the recipient if and only if the recipient has invoked a corresponding IPC operation. The sender blocks until this happens or a timeout specified by the sender elapsed without the destination becoming ready to receive.