I’ve published ddkbuild version 3.14 here
http://www.hollistech.com/Resources/ddkbuild/ddkbuild3_14.zip
This release handles the change from amd64 to x64 when specifying AMD 64
builds in the 6001 WDK. That change is now masked by ddkbuild (it uses the
old syntax for its command line) and ddkbuild figures out if it is using a
6000 or 6001 WDK and does the right thing. There may be another follow on
release that introduces the X64 syntax for the ddkbuild command line.
Also - while adding 6001 WDK support, I’ve removed XP and W2K DDK support.
These DDKs are very obsolete. Version 3.12 remains available for anyone who
is still insisting on building new products with ancient DDKs.
Mark Roddy