If you need to build kernel driver from WDK build environment copy these files to source dir and run build_32 or build_64.

These are required for DDK 7 or earlier. You can build drivers directly from Visual Studio 2013 using WDK 8 and up.