Я использую утилиту ddkbuild от www.osronline.com.

Построить x86 драйвер:
ddkbuild -WXP free .
ddkbuild -WXP checked .

Построить x64 драйвер:
ddkbuild -WNETAMD64 free .
ddkbuild -WNETAMD64 checked .


SAS>Здравствуйте!
SAS>Разработал драйвер уровня ядра, для 32-х битной Windows XP, драйвер компилировал в VS2008, добавив в проект необходимые файлы из DDK. Теперь возникла необходимость таким же образом компилировать драйвер для Windows 7 x64. Подскажите, пожалуйста, какие файлы DDK используются утилитой Build Environment при сборке драйвера для 64-х битной системы.