Most of materials was derived from MIT 6.828 OSE Course see: http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-828-operating-system-engineering-fall-2012/