Building drivers

To build TDI driver:
- Install DDK/WDK
- Set the path to DDK/WDK in builddrv.bat
- Use build.bat to build the driver binary

To build WFP driver:
- Install MSVC 2012 or higher
- Install WDK 8/10
- Open the project from driver_wfp\msvc folder. The generic project file for MSVC 2012-2017 is Win8.vcxproj. In MSVC 2019 it is possible to use Win14.vcxproj, which contains additional flags for Spectre patches.
- Build the required project configiration.