Times and locations

Day	Weeks	Start	End	Location
Monday	1, 3–11	12:00 pm	14:00 pm	Ainsworth 202 (K-J17-202)
Tuesday	1–10	14:00 pm	16:00 pm	Ainsworth 102 (K-J17-102)

Slides and Video

Week	Day	Lecturer	Topic	View	Print
1	Mon	Gernot	Introduction (Microkernels and seL4)
1	Tue	Kevin	seL4 API and usage
2	Mon		Queen's Birthday
2	Tue	Kevin	OS Execution Models
3	Mon	Kevin	Why Threads are a Bad Idea (for most purposes) Why Events are a Bad Idea (for high-concurrency servers) Paper: [von Behren et al., 2003]
3	Tue	Gernot	Caches (What every OS designer must know) Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003] Book: [Schimmel, 1994]
4	Mon	Gernot	Virtual Machines Papers: [Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
4	Tue	Gernot	Performance Measurement and Analysis
5	Mon	Gernot	Real-Time Systems Introduction Book: [Liu, 2000] Papers: [Lyons et al., 2018]
5	Tue	Gernot	Microkernels Design and Implementation (with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
6	Mon	Gernot	Security Fundamentals Reference: [Miller et al., 2003]
6	Tue	Gernot	Information Leakage (timing channels and speculation) Papers: [Liu et al., 2015], [Lipp et al., 2018], [Kocher et al., 2019]
7	Mon	Peter	Unix and Linux Internals Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
7	Tue	--	no lecture
8	Mon	Kevin	SMP and Locking 1 Papers: [Anderson, 1990], [Clements et al. 2013]
8	Tue	Kevin	SMP and Locking 2
9	Mon	Gernot	Formal Verification and seL4 Papers: [Klein et al., 2014]
9	Tue	Gernot	Local OS Research Having fun with seL4 and beyond [Biggs et al.,  2018], [Amani et al., 2016], [Ge et al.,  2019], [Shen et al., 2019], [Klein et al., 2018]
10	Mon	Ihor	Multicore Operating Systems
10	Tue	Ihor	Multicore Operating Systems (continued)
11	Mon	--	no lecture
10	Tue 15:00	Gernot	Exam preparation

The schedule for future lectures is tentative and subject to change!

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.