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)

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
10	Mon	Gernot	Formal verification and seL4 Papers: [Klein et al., 2014], [Sewell et al., 2017], [Blackham et al., 2012], [Heiser 2020], [Biggs et al.,  2018]
10	Wed	Gernot	seL4 in the real world ... and UNSW research supporting it [Klein et al., 2018]

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