Where are the WDF files in the WDK?

The WDF (both UMDF and KMDF) files in the WDK are not found in a single directory, rather they are spread out across the entire WDK directory tree. Why? Because the WDK is not just WDF J and the WDK has directories for different purposes, so replicating a specifically purposed directory (like redistributables) under a WDF tree doesn't make much sense. Here is a table of the components and where you can find them (assuming your current directory is WinDDK\6000)

Component

Location 

Description 

Header files 

inc\wdf\kmdf and inc\wdf\umdf

Header files required to build KMDF and UMDF drivers.

Libraries 

lib\wdf\kmdf

Static libraries that are required to build KMDF drivers (UMDF does not require a lib)

Sample drivers 

src\kmdf and src\umdf

Sample drivers

Co-installers

redist\%arch%

Redistributable UMDF and KMDF co-installers, that ensure that the latest version of the framework is installed on a user's system.

Debugger extensions

bin

Debugger extensions for use with UMDF (wudfext.dll) and KMDF (wdfkd.dll) drivers on supported architectures

Tracing format files 

Tools\tracing\%arch%\wdf01005.tmf

Trace format files for the trace messages generated by KMDF libraries and co-installer.