http://www.cs.rutgers.edu/~paull/index.html
Computer Science 416 : Operating Systems Design Office Hours