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