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:http://www.reactos.org[1] signing such an NDA will prevent them from contributing to various open source projects, that would be a shame.