Lectures

Week	Topic	Print
01	Microkernels and L4 (Introduction)
02	L4 Programming (OKL4 API in detail)
03	Microkernels (In a bit more depth) Papers: [Brinch Hansen, 1970], [Chen & Bershad, 1993] [Liedtke, 1995] [Härtig et al., 1997] [Fleisch et al., 1998] [Schach et al., 2002]
04	Caches (What every OS Designer Must Know) Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003] Book: [Schimmel 1994]
05	Thread Models Recap
	Why Threads are a Bad Idea (for most purposes)
	Why Events are a Bad Idea (for high-concurrency servers) Papers: [von Behren et al., 2003]
	Kernel Thread Construction Alternatives (continuation-based and stateless kernels)
06	Security (An advanced introduction) [Arbaugh et al. 1997], [DoD 1986] [Shapiro and Weber 2000]
07	Dynamic Memory I
	Dynamic Memory II
08	Microkernel Construction 1 (A look at some small kernel construction issues)
	Microkernel Construction 2
09	Real Time Systems
10	Towards a Practical, Verified Kernel Paper: [Elphinstone et al., 2007]
	Kernel Design for Isolation and Assurance of Physical Memory Paper: [Elkaduwe et al., 2008]
11	Virtual Machines [Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006]
12	Multiprocessing Issues [Anderson, 1990]
	Local R&D Overview

References in square brackets are recommended readings from the papers list.

All lecture notes are available in two formats:

1. the "topic" is linked to full-size PDF slides suitable for on-screen viewing;
2. the PostScript or PDF symbol is linked to an 6-up or 4-up version suitable for printing.