Windows Driver Kit (WDK)

これは2006年より前は、Windows Driver Development Kit (DDK) と呼ばれていたものの後継です。

複数の技術系サイトから、まとめて検索