You don't need install any wdk for development kernel driver - View it on GitHub