Exam starts at 12:00 Sat Dec 6 and ends at 12:00 Sun Dec 7.

Times and locations

Day	Weeks	Start	End	Location
Monday	1–5,7–10	14:00	16:00	H13 Lawrence East M032 (K-H13-M032)
Wednesday	1–5,7–10	14:00	16:00	NS Global 127 (Webster 127) (K-G14-127)
Wednesday	11 only!	15:00	16:00	Ainsworth 202

Slides and Video

Week	Day	Lecturer	Topic	Video	Slides
1	Mon	Gernot	Introduction (Microkernels and seL4)
1	Wed	Gernot	seL4 API and usage
2	Mon	Gernot	OS Execution Models Events, Co-routines, Continuations, Threads
2	Wed	Gernot	Threads vs Events: 3 Points of View Paper: [von Behren et al., 2003]
3	Mon	Gernot	Hardware considerations – Caches and Devices (What every OS designer must know)
3	Wed	Gernot	Virtual Machines (Introduction and principles) Papers: [Barham et al., 2003], [Waldspurger, 2002]
4	Mon	– –	Public Holiday – no lecture	– –	– –
4	Wed	Gernot	Multicore, Memory Ordering and Locking Paper: [Mellor-Crummey & Scott, 1991]
5	Mon	Curtis Millar (Apple)	Real-Time Systems Introduction Book: [Liu, 2000] Papers: [Lyons et al., 2018]
5	Wed	Peter	Unix and Linux Internals Papers: [McKenney, 2004], [McKenney et al 2002], [Ritchie & Thompson, 1974]
6	Mon	– –	Flex week – no lecture	– –	– –
6	Wed	– –	Flex week – no lecture	– –	– –
7	Mon	Gernot	Performance Measurement and Analysis Paper: [Fleming & Wallace, 1986] Other: [Gernot's List of Benchmarking Crimes]
7	Wed	Gernot	Security Fundamentals References: [Miller et al., 2003] [Jaeger, 2008] [Bos, 2019]
8	Mon	Ihor Kuz (Kry10)	Multicore Operating Systems Part 1
8	Wed	Gernot	Microkernel Design and Implementation (with focus on seL4) Papers: [Liedtke, 1993], [Liedtke, 1995], [Heiser & Elphinstone, 2016]
9	Mon	Ihor	Multicore Operating Systems Part 2
9	Wed	Apple staff	Darwin/xnu internals	no recording	no slides
10	Mon	Gernot	seL4 and LionsOS Papers: [Klein et al., 2014], [Sewell et al., 2017], [Blackham et al., 2012], [Heiser 2020], [Biggs et al.,  2018], [Klein et al., 2018]
10	Wed	Gernot	seL4-related research at UNSW [Ge et al., 2019]
11	Wed 3pm	Gernot	Exam preparation (0.5h)		– –

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

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

Apologies for the green screen recordings on the first two Wednesdays. This was a mis-configuration in a newly refurbished lecture theatre that was out of our control.

The icon for the video indicates accessibility:
	publicly accessible
	available to enrolled students