Exam starts at 14:00 Tue Nov 26 and ends at 14:00 Wed Nov 27.
Lectures

Times and locations

Day Weeks Start End Location
Tuesday 1–5,7–10 14:00 16:00 H13 Lawrence East M032 (K-H13-M032)
Thursday 1–5,7–10 16:00 18:00 H13 Lawrence East M032 (K-H13-M032)

Slides and Video

Week Day Lecturer Topic Video Slides
1 Tue Gernot Introduction (Microkernels and seL4) PDF slides
1 Thu Gernot seL4 API and usage Video recording PDF slides
2 Tue Gernot Hardware considerations – Caches and Devices
(What every OS designer must know)
Video recording PDF slides
2 Thu Kevin OS Execution Models Video recording PDF slides
3 Tue 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]
Video recording PDF
PDF
3 Thu Gernot Virtual Machines (Introduction and principles)
Papers: [Barham et al., 2003], [Waldspurger, 2002]
Video recording PDF slides
4 Tue Gernot Performance Measurement and Analysis
Paper: [Fleming & Wallace, 1986]
Other: [Gernot's List of Benchmarking Crimes]
Video recording PDF slides
4 Thu Gernot Real-Time Systems Introduction
Book: [Liu, 2000]
Papers: [Lyons et al., 2018]
Video recording PDF slides
5 Tue Gernot Microkernel Design and Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Heiser & Elphinstone, 2016]
Video recording PDF slides
5 Thu Gernot Security Fundamentals
References: [Miller et al., 2003] [Jaeger, 2008] [Bos, 2019]
Video recording PDF slides
6 Tue – – Flex week – no lecture – – – –
6 Thu – – Flex week – no lecture – – – –
7 Tue Gernot Formal verification and seL4
Papers: [Klein et al., 2014], [Sewell et al., 2017], [Blackham et al., 2012], [Heiser 2020], [Biggs et al.,  2018]
Video recording PDF slides
7 Thu Gernot seL4 in the real world
... and UNSW research supporting it
[Klein et al., 2018]
Video recording PDF slides
8 Tue Peter Unix and Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
Video recording PDF slides
8 Thu Kevin SMP and Locking 1
Papers: [Anderson, 1990], [Clements et al. 2013]
Video recording PDF slides
9 Tue Kevin SMP and Locking 2 Video recording PDF slides
9 Thu – – no lecture – – – –
10 Tue Ihor Multicore Operating Systems
Part 1
Video recording PDF slides
10 Thu Ihor Multicore Operating Systems
Part 2
Video recording PDF slides
11 Tue 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.

The icon for the video indicates accessibility:
video recording icon publicly accessible