Lectures
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)
|
|
|
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:
|
 |
publicly accessible |