It's not the first time I'm mentioning this around here, but the WRK 1.2 is quite easy to find online. Surely, there are some license issues with that, but with

It's not the first time I'm mentioning this around here, but the WRK 1.2 is quite easy to find online. Surely, there are some license issues with that, but with a simple google query you run into something like this : http://gate.upm.ro/os/LABs/Windows_OS_Internals_Curriculum_Resource_Kit-ACADEMIC/WindowsResearchKernel-WRK/WRK-v1.2/base/ntos/ http://gate.upm.ro/os/LABs/Windows_OS_Internals_Curriculum_R... . Here you've got most of the kernel code of the Windows Server 2003. It's clear that Dave Cutler had a great influence on it.