[CSE]  Advanced Operating Systems 
 COMP9242 2003/S2 
UNSW

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Milestone 0
- Project Spec
  (Milestones 1, 2, ...)
- Project FAQ
- Exam
 
Documentation
- ASysT Lab
- L4Ka::Pistachio FAQ
# L4 source browser
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- GT64111
# Network Driver
 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2002
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

Lectures

Week    Topic    Print
01 Course and L4 Introduction PS
02 L4 API and Programming PS
03 Caches PS
04 Protection Mechanisms PS
Microkernels and Client-Server Architectures PS
Exokernels
05 Microkernel Performance PS
06 No Lecture
07 Microkernel Construction PS
08 Microkernel Construction II PS
10 SASOS & Mungi PS
11 SMP & Locking PS
Managing Kernel Memory PS
12 Virtual Memory PDF
13 User-level Device Drivers PS
Activities of the NICTA ERTOS Program PS
14 Naming in Mungi
Unix Emulation in Mungi
A persistence model for Mungi
Mungi Distribution
The Legba Architecture

All lecture notes are available in three formats:
  1. the "topic" is linked to PDF slides which I use in lectures (note that these are unsuitable for printing);
  2. the PostScript symbol is linked to an 8-up version suitable for printing;
  3. the PDF symbol is linked to a 6-up version suitable for printing;
  4. the WWW symbol is linked to a minimally formatted HTML version.

Last modified: 10 Nov 2003.