note, that the WDK’s setenv.bat doesnt contain AMD64 definition, produced by VisualDDK wizard for x64 platform with using of BUILD system, so x64 build will be failed. for a sample, i just added a valid definition to setenv.bat. but, still hope it will be changed to x64 or x32-64 – which is native for WDK setenv by default. cheers.