We're in the middle of doing some exercises in pintos for school (it's a toy operating system where you're supposed to implement part of the functionality) and I can really recommend the code in it. The documentation is good as well. Operating systems might not be for everyone, but the code is good.

Edit link: http://www.stanford.edu/class/cs140/projects/pintos/pintos.h...