MIPT course on operating systems, including system programming in C