Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

Bibliography

Hei00

Gernot Heiser.
Inside L4/MIPS: Anatomy of a high-performance microkernel.
Report, OS Research Group, School Comp. Sci. & Engin., University NSW, Sydney 2052, Australia, 2000.
Latest version available from http://www.cse.unsw.edu.au/~disy/L4/.

L4M99

L4/MIPS source code, kernel version 79.
Available from http://www.cse.unsw.edu.au/~disy/L4/, Feb 1999.