code and notes for 6.828 Operating System Engineering