Driver Verifier is a Windows feature that causes the kernel to perform additional checks to help catch bugs in drivers.
Our drivers are extremely buggy and almost all of them fail when run with DV on Windows. We should implement some of these checks.
I have several patches that add such checks to our code, which I will associate with this Epic.
However all of these are currently hacks that are either always enabled or enabled for particular hard-coded scenarios. To properly integrate them, we need to support the registry-based configuration mechanism and in-kernel support for assigning verifier flags to particular drivers.