WDK.vsix

The presence of this file indicates that the WDK[Windows Driver Kit (WDK) is installed.