Title: Instructor's manual to accompany operating systems