Week | Topic | 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 |