CS 574 Lecture Notes

OS Organization

Example presentation (Liedtke paper)

How system calls happen in Minix
Interprocess Communication in Unix
Brief introduction to old encryption techniques

Midterm Notes

Memory Consistency
File Systems
Proofs of Correctness

Final Exam Topics