UNSW Computer Science and Engineering Technical Report no. UNSW-CSE-TR-9801
(59 pages: file 9801.pdf)

Title:   L4 User Manual


Authors: Alan Au, Gernot Heiser
         Department of Computer Systems
         School of Computer Science and Engineering 
         University of New South Wales
         Sydney 2052 Australia

	

E-mail: {alanau,gernot}@cse.unsw.edu.au


Abstract:

This document is a user manual for the L4 micro-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.

https://cgi.cse.unsw.edu.au/~reports/papers/9801.pdf