The schedule will change as the course progresses, in part based on student interests. If you are particularly interested in some topic not covered here, send mail to the course staff.

September
Monday	Tuesday	Wednesday	Thursday	Friday
28	29	30 Lecture: booting	01 Section: Introduction	02 Lecture: programming interface

October
Monday	Tuesday	Wednesday	Thursday	Friday
05 Lecture: OS organization	06	07 Lecture: address spaces	08 Section: Lab 1 Review, Memory, Paging Lab 1 due	09 Lecture: virtual memory
12 Hack day	13	14 Lecture: virtual memory applications	15 Section: memory	16 Lecture: virtual memory exercise
19 Lecture: interrupts and exceptions	20 Lab 2 due	21 Lecture: system calls	22 Section: interrupts	23 Lecture: interrupt exercise
26 Hack day	27 Lab 3A due	28 Lecture: multiprocessors & locking	29 Section: Labs 2 & 3 review	30 Lecture: locking exercise

November
Monday	Tuesday	Wednesday	Thursday	Friday
02 Lecture: processes and threads	03 Lab 3B due	04 Lecture: scheduling	05 Section: SMP booting	06 Lecture: concurrency bugs by Pedro Fonseca
09 Lecture: file systems	10 Lab 4A due	11 Veterans Day	12 Section: COW fork	13 Lecture: crash consistency Lab X proposal due
16 Lecture: memory consistency models by James Bornholt	17 Lab 4B due	18 Lecture: OS programming with Rust by Jared Roesch	19 Section: IPC & file system	20 Hack day
23 Lecture: contributing to the Linux kernel by Omar Sandoval	24 Lab 4C due	25 Hack day	26 Thanksgiving	27 Thanksgiving
30 Lecture: security, people, and the OS by Franzi Roesner	01	02 Lecture: OS for the data center by Simon Peter	03 Section: more on file systems	04 Lecture: bugs and testing

December
Monday	Tuesday	Wednesday	Thursday	Friday
07 Lecture: verification	08 Lab 5 due	09 Lab X meetings	10 Section: Final Review	11 Lecture: demos
14 Lab X due	15	16 14:30-16:20 Final exam	17	18