CSE 451: Introduction to Operating Systems (taught by Ed Lazowska)