"The Windows Research Kernel (WRK) packages core Windows XP x64 and Windows 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 the source for:
- Virtual memory
- Object manager
- I/O manager
- Worker threads
- Kernel heap manager
- Other core Windows (NTOS) kernel functionality