OPERATING SYSTEMS Lecture Notes