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.