Das
DDK heißt nicht mehr
DDK sondern WDK (Windows Driver Kit). Ist das alte
DDK zusammen mit einigen SDKs die früher nur gegen Bezahlung erhältlich waren (wie dem IFS Kit z.B.). Kostenlosen Download findest Du hier:
http://www.microsoft.com/whdc/devtools/wdk/default.mspx
Das WDK enthält derzeit glaube ich alle DDKs von Windows 2000 an aufwärts.