Syllabus: Modern operating systems