L4Re – L4 Runtime Environment

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.
  4. L4Re Servers provides a quick overview over standard services running on the L4Re operating system.


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