Что вам нужно сделать, это запустить CMD из установочного каталога WDK "C: \ ProgramData \ Microsoft \ Windows \ Меню Пуск \ Программы \ Комплекты драйверов Windows \ WDK 7600.16385.1 \ Среды сборки \ Windows 7 \ x64 Free BuildОкружение "
, затем перейдите к вашим папкам src" C: \ WinDDK \ 7600.16385.1 \ src ", затем введите BUILD и введите
, вы заметите, что файлы будут скомпилированы в другую папку - выможете установить их оттуда
Инструкции можно найти здесь
C: \ ProgramData \ Microsoft \ Windows \ Пуск \ Меню \ Программы \ Комплекты драйверов Windows \ WDK 7600.16385.1 \ Справка \ Документация WDK