notes and materials for course : linux system programming