Search notes:

Windows Driver Kit

The WDK is an integrated environment and provides the tools to develop, build, test, deploy and debug drivers.

Installing the WDK

Verifying if the WDK is already installed

The presence of %WindowsSdkDir%\Vsix\WDK.vsix indicates that the WDK is installed.
If the WDK is installed can also be checked with Settings -> Apps & features.

Steps to install the WDK

The following steps are a basic summary of https://docs.microsoft.com/en-us/windows-hardware/drivers/download-the-wdk
The WDK requires Visual Studio.
Start vs_installer.exe
Choose workload Desktop development with C++
Choose workload Universal Windows Platform development
In the right hand side, under Optional, choose Windows 10 SDK (10.0.18362.0)
Choose tab Individual components, section Compilers, build tools, and runtimes to install spectre mitigated libraris
Click modify to apply changes.
Download wdksetup.exe from https://go.microsoft.com/fwlink/?linkid=2085767[]

See also

The WDK also comes with the Debugging Tools for Windows

Index