get wdk

get wdk from http://www.microsoft.com/whdc/devtools/wdk/WDKpkg.mspx

the latest wdk now is wdk 7.0.0

I get GRMWDK_EN_7600.ISO

note:

After installing WDK in one machine , you can build driver for different version of windows & different CPU