Added all the timer and bsd notes to the design doc, only priority scheduler left