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.