You don't need install any wdk for development kernel driver

Build Win7 Debug x64.

Thanks for my last company

https://github.com/zhsftech

But i dont think that's a good idea.