Week | Topic | |
01 | INTRODUCTION (Course and L4) | |
02 | L4 API (L4 Programming Introduction) | |
03 | Caches (An OS Perspective) | |
04 | Computer Security (Broad Overview including OS mechanisms) | |
05 | Microkernels | |
A Critique of Microkernels | ||
06 | Microkernel Construction 1 (A guide to L4 internals) | |
07 | Microkernel Construction 2 (A guide to L4 internals) | |
08 | Real Time Systems | |
09 | SMP & Locking | |
User-Level Device Drivers (ACSAC'04 Conference Talk) | ||
11 | File System Workloads | |
Anticipatory Disk Scheduling | ||
Byzantine Generals Problem | ||
FARSITE | ||
12 | Why Threads Are a Bad Idea | |
Why Events Are a Bad Idea | ||
Back Tracking Intrusions | ||
TinyOS | ||
13 | Single-Address-Space OS (Mungi) | |
14 | Local OS Research and Projects |