Building the Windows Research Kernel.

To build the Windows research kernel after to obtain it legally from your academic institution like I did. You may need to download some Visual C/C++ runtime libraries but after that the kernel should kinda be sandboxed and build on Windows XP or later. I'm building it on Windows 8.1. We will be building WRKv1.2.

So open a command prompt and enter:

 set wrk= "path to WRK1.2"  
 set arch=x86 [or amd64]  
 path %wrk%\tools\%arch%;%path%  
 cd %wrk%\base\ntos  
 nmake -nologo %arch%=  

This will produce kernel files in BASE\NTOS\BUILD\EXE\%arch%

I really don't recommend booting the kernel on anything other than XP, but you can try and there should be instructions that came with the WRK 1.2 on how to do that. Pius you can read David Cutler's original design notes. Also you might get like I did a project called "Project OZ" which you can use the kernel with.