The Windows Research Kernel (WRK) packages core Microsoft Windows XP x64/Server 2003 SP1 kernel source code with an environment for building and testing experimental versions of the Windows kernel for use in teaching and research. The WRK includes source for processes, threads, LPC, virtual memory, scheduler, object manager, I/O manager, synchronization, worker threads, kernel heap manager, and other core NTOS functionality.
The WRK is useful in design projects that allow your students to explore operating system (OS) principles using the Windows kernel sources. It enables advanced teaching and research by facilitating building experiments and projects based on modifying the Windows kernel, as well as by promoting better understanding of the Windows architecture and implementation.
WRK is primarily intended for faculty and instructors working in the area of operating systems who develop courses and write textbooks and want to include information about the Windows kernel based on the actual source code.
The WRK includes a build/test environment and binaries for the omitted source components, which can be used to build fully functional NTOS kernels that can be installed on x86 (Server 2003 SP1) and AMD64 (Windows XP x64 Professional) systems.
There are known compilation issues with the CD version of the WRK on certain Windows configurations. If you have encountered a "missing file" error for either msvcr71.dll or msvcp71.dll when compiling the WRK, please copy the files included in the WRK_DLLs.zip file to your %wrk%\tools\x86 directory and compile again.
For more information about the Windows Academic Program, WRK or faculty experiences see this article or e-mail firstname.lastname@example.org.