Lecture: OS: seL4 - Part 1

Date: 2/8/17

Reading

• Required reading: Comprehensive Formal Verification of an OS Microkernel, Klein et al., ACM TOCS, 2014. Read Sections 1-4 (inclusive), i.e., up to page 32
• Optional reading: seL4: Formal Verification of an OS Kernel, Klein et al., SOSP, 2009.