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