Helpful stuff for students taking the Operating Systems course at Reykjavik University