Trustworthy Systems

L4 user manual — API version X.2


Ihor Kuz

NICTA, Sydney, Australia
UNSW, Australia


This document is a user manual for the L4 micro-kernel, specifically the L4Ka::Pistachio implementation of the Version X.2 (aka. beta Version 4) API. It gives an introduction to the main concepts and features of L4, and explains their use by a number of examples.

This document supplements, rather than replaces, the L4 Reference Manual, and anyone intending to write an applications on top of L4 should obtain the L4 Reference Manual.

BibTeX Entry

    author           = {Ihor Kuz},
    key              = {L4UM},
    month            = jun,
    note             = {Available from \url{}},
    oldlabel         = {Kuz:L4um, L4UM:x.2},
    organization     = {Embedded, Real-Time and Operating Systems Program, NICTA},
    paperurl         = {},
    title            = {{L4} User Manual --- {API} Version {X.2}},
    year             = {2004}