我正在尝试从2009年编译一段旧代码。在编译器指令中，开发人员使用Visual Studio 2008，.Net 2.0和WinDDK：
Microsoft Windows Driver Kit
我需要了解2009年期间的WinDDK版本6001.18001。
6001.18001版本的WinDDK的官方微软名称是什么，你还可以从MSDN或TechNET下载吗？
（即）WinDDK 7.1是7600.16385.1
答案 0 :(得分：2)
看起来WinDDK版本6001.18001被命名为Windows Server 2008 WDK SP1。
WDK_6001_18001.iso，ca。 650MB
发布日期：Windows Server 2008 SP1发布日期10/23/2008的WDK SP1