Review of Operating System Concepts
Review of Virtual Memory Concepts
Review of Filesystem Concepts
Microkernel
vs. Monolithic kernel: How
system calls happen in Minix and Unix
Using TCP with Unix (and Linux)
Some sample segv handler
code
Brief introduction to old
encryption techniques
Memory
Consistency
Proofs of Correctness
ECC and CRC
Last modified: Wed Dec 6 08:04:44 MST 2006