The Prepared environment for kernel programming

[chants]

I am sure if you have good connections with MSFT, you can get something like the Shared Source Initiative

https://www.microsoft.com/en-us/sharedsource/

which would allow such customizations to be made in detail for driver debugging.

Otherwise Microsoft seems to encourage using the Checked Windows builds as per RiRye above.

The question is in practice, what are the major companies out there doing?