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)

The L4 Microkernel Developed and implemented on ix86 by Jochen Liedtke, GMD (Germany) 1992-95 (``Version 2''). Successor of Eumel (1979) and L3 (1987). Ongoing development by Liedtke at IBM T.J. Watson Research Center (1997-99), University of Karlsruhe (since 1999): L4Ka Version ``X.2'' Implementations at Dresden University of Technology and UNSW. Features 7(!) system calls (Version 2) recursive address spaces user-level page fault handlers user-level device drivers user-level scheduling real-time capable (sort-of) .