Windows Driver Kit (WDK) (Windows Drivers) - MSDN - Microsoft

We provide Windows Driver Kit (WDK) 8 to give you time to migrate to ... Tools for Windows is included in WDK 8, so you don't need to download it separately.

msdn.microsoft.com