Lecture notes for Operating Systems course at the University of Central Florida