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

Title:		L4 Reference Manual --- Alpha 21x64

Author:		Daniel Potts, Simon Winwood and Gernot Heiser

		School of Computer Science and Engineering,
		The University of New South Wales, Sydney 2052, Australia,
		{danielp,sjw,gernot}@cse.unsw.edu.au

Abstract:

This document describes release 2.0 of the L4 microkernel for the Alpha
microprocessor family. The kernel ABI is mostly compatible with the MIPS
R4x00 version, but provides full multiprocessor support.

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