Das heißt nicht mehr
DDK sondern WDK:
Windows Driver Kit. Enthält mittlerweile, anders als das alte
DDK, so ziemlich alles was man als Kernel Developer benötigt und sonst separat beschaffen oder kaufen musste (wie das IFS Kit z.B.). Das Windows 7 WDK ist mittlerweile als RC erhältlich und enthält auch das XP, 2003, Vista und 2008 WDK. Beispiele gibts ebenfalls zu Hauf und werden mit installiert. Die Hilfe ist auch großartig.
Wenn Du Treiber für 64bit entwickeln willst, solltest Du Dir noch folgenden Abschnitt im
MSDN anschauen um dir eine eigene CA für Driver Signing einzurichten:
http://msdn.microsoft.com/en-us/library/aa906247.aspx