A collection of useful tools, projects, and documentation related to the Windows Research Kernel (WRK). The WRK comprises the Windows Server 2003 kernel source code and is available to academic institutions.
- WRK Systable Generator: This project helps creating new system service calls for the Windows Research Kernel. For additional information, please refer to our
Windows Research Kernel @ HPI
Microsoft Shared Source Initiative
Microsoft WRK forum