Debug Tool-32:
http://www.microsoft.com/whdc/devtools/debugging/installx86.mspx
Debug Tool-64:
http://www.microsoft.com/whdc/devtools/debugging/install64bit.mspx
符号表:
http://www.microsoft.com/whdc/devtools/debugging/symbolpkg.mspx
Windows Server 2003 DDK:
http://www.microsoft.com/whdc/DevTools/ddk/default.mspx
this DDK support :
This release of the DDK supports the following platforms [this same support is available in the current WDK]:
• | Windows Server 2003, through Service Pack 1 (Standard, Enterprise, and DataCenter editions) |
• | Windows XP Professional and Home Edition, through Service Pack 1 |
• | Windows 2000 products released previously, including Windows 2000 Professional, Server, Advanced Server, and Datacenter Server through Service Pack 3 |
WDK:
http://www.microsoft.com/whdc/Devtools/wdk/default.mspx
Windows Driver Kit (WDK). The WDK is a fully integrated driver development system that contains the Windows Driver Device Kit (DDK) and tests for stability and reliability of Windows drivers, including the following:
Windows Driver Kit (WDK). WDK是高度集成的驱动开发系统,包含了DDK和稳定性和依赖性测试。
Windows Driver Foundation (WDF) 简化开发并支持Windows驱动。
Header file refactoring (Windows Vista 和之后的版本) 通过提供一简单的目录结构,减少了头文件的复杂性,消除声明冲突,并为所有支持的Windows版本使用一单一的头文件集合。
Installable File Systems (IFS) Kit 包括头文件,库,范例和文本作为WDK的一部分的分发。
Verifiers and static analysis tools,例如PREfast 和Static Driver Verifier, 帮助你在编译时找出bugs.
Windows Driver Kit (WDK) Documentation:
http://www.microsoft.com/whdc/DevTools/WDK/WDKdocs.mspx