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