Base API

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

Collaboration diagram for Base API:

Modules
	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.
	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.
	Flex pages
	Flex-page related API.
	Integer Types
	Kernel Interface Page
	Kernel Interface Page.
	Kernel Objects
	API of kernel objects.
	Memory operations.
	Operations for memory access.
	Memory related
	Memory related constants, data types and functions.
	Object Invocation
	API for L4 object invocation.

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	vhw.h
	Descriptors for virtual hardware (under UX).
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.