| Week |
Date |
Topic |
Slides |
Print |
| 1 |
17.02 |
Introduction |
 |
 |
| 1 & 2 |
17.02 & 24.02 |
Programming L4 |
 |
 |
| 3 |
03.03 |
Caches and TLBs |
 |
 |
| 4 |
10.03 |
Kernel Construction, Page Tables |
 |
 |
| 5 |
17.03 |
L4 |
 |
 |
| 6 |
24.03 |
Security |
 |
 |
| 7 |
31.03 |
Threads, Dispatch, IPC & events |
 |
 |
| 8 |
07.04 |
Bulk IPC data transport |
 |
 |
| 10 |
21.04 |
Scheduling |
 |
 |
| 11 |
28.04 |
Networking |
 |
 |
| 12 |
05.05 |
Multiprocessing and multicore (1) |
 |
 |
| 13 |
12.05 |
Multiprocessing and multicore (2) |
 |
 |
| 14 |
19.05 |
Cancelled |
| 15 |
26.05 |
Course wrap-up |
 |
 |
| Guest lecture: Asymmetric Single-ISA multicore CPUs, Jeff
Mogul |
 |
 |