OS-SP08: Lecture 1: Introduction and course logistics