Advanced Operating Systems   COMP9242 2002/S2

UNSW

Printer-Friendly Version Administration                - Notices - Course Intro - Consultations # On-line Survey (closed) - Survey Results   Work - Lectures - Milestone 0 - Project Admin - Project Spec - Project FAQ - Exam   Documentation - ASysT Lab - L4 source browser - Sulima ISA Simulator - R4x00 ISA Summary  - MIPS R4700 Reference - MIPS R4000 User Manual  - Network Driver - GT64111   Related Info - Aurema OS Prize - OS Hall of Fame   History - 2000 - 1999 - 1998   Staff - Gernot Heiser (LiC)

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.