I encourage you to try out the 6.828 course material, especially the labs. It's one of the best OS courses. I had taken UCLA's CS 235 which is based on similar content [1]. Learned a lot from that.

[1]: http://www.cs.ucla.edu/~kohler/class/10f-aos/