Xv6
Instead of exposing students to Windows kernel code[1], it would be better to consider to read the ReactOS source code - an open source clean room re-implementation:<p><a href="http://www.reactos.org" rel="nofollow">http://www.reactos.org</a><p>[1] signing such an NDA will prevent them from contributing to various open source projects, that would be a shame.