Resources for the IS-319 Operating Systems Lecture