Stuff for operating system course