Using Visual Studio with the Windows Research Kernel
Windows Research Kernel @ HPITo facilitate modifications of the Windows Research Kernel, we created a Visual Studio 2003 Solution
Just copy the files from the archive to your WRK-v1.2 directory, adapt the WRKPATH environment variable in setenv.bat and use the WindowsResearchKernel.sln solution file.
Build your own Windows kernel by pressing CTRL-SHIFT-B.
Update: Visual Studio 2005 Solution