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

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.