Lecture notes for CSCI3431: Operating Systems