Download L4 User Manual

Abstract
This document is a user manual for the L4 -kernel. It gives an introduction to the main concepts and
features of L4, and explains their use by a number of examples. The manual is generally platform
independent, however, examples are based on the C interface for L4/MIPS. Actual system call C
bindings and data formats differ slightly on other platforms.
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 for their particular platform.
Permission to make digital/hard copy of part or all of this work for personal or classroom use is granted without
fee provided that copies are not made or distributed for profit or commercial advantage, the copyright notice,
the title of the publication and its date appear, and notice is given that copying is by permission of the authors.
To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission
and/or a fee.
Copyright c 1998 by Gernot Heiser, The University of New South Wales.