GitHub repository: wdhg/os
Description: Notes on course 50004 Operating Systems at Imperial College London