Ссылка на DDK:
http://www.microsoft.com/whdc/DevTools/ddk/default.mspx

Ссылка на символы:
http://www.microsoft.com/whdc/devtools/debugging/symbolpkg.mspx

Ссылка на кернел-дебагеры:
http://www.microsoft.com/whdc/devtools/debugging/installx86.mspx