Kernel-Mode Driver Framework Debugging
Debugging extensions for Kernel-Mode Driver Framework (KMDF) are contained in the Wdfkd.dll extension library.
You can use the extension commands that the Wdfkd.dll extension library contains to debug drivers that use KMDF.
For a description of the extension commands in Wdfkd.dll, see Kernel-Mode Driver Framework Extensions (Wdfkd.dll).
These extensions can be used on Microsoft Windows XP and later operating systems. Some extensions have additional restrictions; these restrictions are noted on the individual reference pages.
To use this extension library, you must load the library into your debugger. For information about how to load extension libraries into a debugger, see Loading Debugger Extension DLLs.