CS535 Advanced Operating Systems
See
Spring '03
course for up-to-date materials.