Well there is the Minix which is a Unix like os that predates and inspired Linux which exists purely to teach operating system design and coding.

http://www.minix3.org/

Source code included :)