Screen Version

Lectures

Week	Topic	Print	Web
01-02	L4 Introduction and L4 API
03	Caches
	Protection Mechanisms
04	Microkernels & Client-Server Architectures
05	Microkernel Performance
	Liedtke, On Mikrokernel Construction, SOSP '95, © ACM
	Liedtke, Towards Real Mikrokernels, CACM '96, © ACM
	Härtig et al, The Performance of Mikrokernel-Based Systems, SOSP '97, © ACM
06	Microkernel Implementation (L4/MIPS)
07	Security (Greg Rose)
08	Page Tables (Chris Szmajda)
09	File Systems (Peter Chubb)
10	SMP (and Real Time)
12	Mungi (Part 1: Basics)
13	Mungi (Part 2: Programming in Mungi)
13	Mungi (Part 3: More on Mungi)
14	Hot Topics -- Cool Systems

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 WWW symbol is linked to a minimally formatted HTML version.