L4Re - L4 Runtime Environment
 All Data Structures Namespaces Functions Variables Typedefs Enumerations Enumerator Modules Pages
Overview

Welcome to the documentation of the L4 Runtime Environment, or L4Re for short. There are two parts to this documentation: a user manual, which provides a birds eye view of L4Re and its environment, and a reference section which documents the complete programming API.

User Manual

  1. Introduction shortly explains the concept of microkernels and introduces the basic terminology.
  2. Tutorial helps you getting started with setting up the development environment and writing your own first L4Re application.
  3. Programming for L4Re explains in detail the most important programming concepts.

Reference

The second part provides the complete reference of all classes and functions of the L4Re environment as well as a list of example code.