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)

L4 Implementation Example: MIPS History Written by Kevin Elphinstone, then a PhD student at UNSW, 1995-7 First 64-bit version of L4 Essentially complete since February 1998 Used in OS research projects at UNSW since 1996 Used in teaching at UNSW since 1997 Completely new VM management (multiple page size, shared page tables, new page table structure) by Szmajda (calypso, not yet released) Statistics (Kernel version 79) 6k lines assembler source (*.S) 5k lines C source (*.c) 1.7k lines C and assembler header files (*.h) 80kB kernel text and static data 1MB kernel data (mostly TCBs and page tables) kernel footprint could be reduced to fast (details later) .