Trustworthy Systems

L4 reference manual: MIPS R4x00, version 1.11, kernel version 79


Kevin Elphinstone, Gernot Heiser and Jochen Liedtke

    School of Computer Science and Engineering
    Sydney 2052, Australia


This document describes release 1.0 of the L4 microkernel for the MIPS R4x00 microprocessor family. It is based on the L4/x86 reference manual Version 2.0 by Jochen Liedtke and has been modified to describe the MIPS implementation. Some material has been added to clarify the L4 message structure. Comments and critiques, as well as proposed additions and alternatives for future versions are most welcome.

The source code for L4/R4x00 is available free of charge under the terms of the GNU General Public License. To obtain the source contact Future versions of this document, as well as related documents and tools, will be available from URL

BibTeX Entry

    address          = {Sydney, Australia},
    annote           = {Keep, this is referred to by ``Inside L4/MIPS''},
    author           = {Kevin Elphinstone and Gernot Heiser and Jochen Liedtke},
    month            = may,
    note             = {Available from \url{}},
    organization     = {School of Computer Science and Engineering},
    paperurl         = {},
    title            = {L4 Reference Manual: {MIPS R4x00}, Version 1.11, Kernel Version 79},
    year             = {1999}