Lectures

Times and locations

Day Weeks Start End Location
Tuesday 1–5,7–10 16:00 18:00 H13 Lawrence Theatre (K-H13-G001)
Thursday 1–5,7–10 15:00 17:00 Civil Engineering G1 (K-H20-G1)

Slides and Video

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

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

Week Day Lecturer Topic Video Slides
1 Tue Gernot Introduction (Microkernels and seL4)
1 Thu Gernot seL4 API and usage
2 Tue Gernot OS Execution Models
Events, Co-routines, Continuations, Threads
Paper: [von Behren et al., 2003]
2 Thu Kurt Hardware considerations – Caches and Devices
(What every OS designer must know)
3 Tue Peter Unix and Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2002], [Ritchie & Thompson, 1974]
3 Thu Anna
(Apple) 		Real-Time Systems Introduction
Book: [Liu, 2000]
Papers: [Lyons et al., 2018]
4 Tue Gernot Multicore, Memory Ordering and Locking
Paper: [Mellor-Crummey & Scott, 1991]
4 Thu Gernot Virtual Machines (Introduction and principles)
Papers: [Barham et al., 2003], [Waldspurger, 2002]
5 Tue Gernot Performance Measurement and Analysis
Paper: [Fleming & Wallace, 1986]
Other: [Gernot's List of Benchmarking Crimes]
5 Thu Gernot Microkernel Design and Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Heiser & Elphinstone, 2016]
6 Mon – – Flex week – no lecture – – – –
6 Wed – – Flex week – no lecture – – – –
The icon for the video indicates accessibility:
video recording icon publicly accessible
echo360 icon available to enrolled students