Advanced operating systems

Lecture slides

• X86 hardware
• OS background
• Unix
• Unix
• MMU, Interrupts, Exceptions
• System call, Page tables
• Demand paging, Exokernel
• Exokernel
• Exokernel, Microkernel
• Microkernel
• Microkernel
• Singularity
• Singularity
• Singularity, Software fault isolation
• Software fault isolation
• Software fault isolation
• Confused deputy
• Confused deputy, KeyKos
• KeyKos
• KeyKos, Capsicum
• Capsicum, Flume
• Flume
• Flume
• Flume, Read-copy-update
• Read-copy-update
• Corey