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
| Week | Day | Lecturer | Topic | Video | Slides |
|---|---|---|---|---|---|
| 1 | Tue | Gernot | Introduction (Microkernels and seL4) | ||
| 1 | Thu | Gernot | seL4 API and usage | The schedule for future lectures is tentative and subject to change! | |
| The icon for the video indicates accessibility: | |
|---|---|
 |
publicly accessible |
 |
available to enrolled students |