Windows DDK

http://msdn.microsoft.com/en-us/windows/hardware/gg487428
http://msdn.microsoft.com/en-us/windows/hardware/gg463268

 Launch build environment first...
 Start > Windows Driver Kits > WDK 7600.16385.1 > Build Environments > Windows 7 > x64 Free Build Environment C:\WinDDK\7600.16385.1\src\general\echo> build -ceZ (or bcz) 

You need to copy C:\WinDDK\7600.16385.1\redist\wdf\amd64\WdfCoInstaller01009.dll into C:\WinDDK\7600.16385.1\src\general\echo\kmdf\DriverSync\objfre_win7_amd64\amd64> before you install...


C:\WinDDK\7600.16385.1\src\general\echo\kmdf\DriverSync\objfre_win7_amd64\amd64> c:\WinDDK\7600.16385.1\tools\devcon\amd64\devcon.exe install echo.inf root\echo Device node created. Install is complete when drivers are installed... Updating drivers for root\echo from C:\WinDDK\7600.16385.1\src\general\echo\kmdf \DriverSync\objfre_win7_amd64\amd64\echo.inf. Drivers installed successfully.



C:\WinDDK\7600.16385.1\src\general\echo\kmdf\DriverSync\objfre_win7_amd64\amd64>
c:\WinDDK\7600.16385.1\tools\devcon\amd64\devcon.exe remove root\echo