Fresh from the oven, Windows Driver Kit (WDK) 7.1.0 is ready for your consumption!

You can get it from the Download Center;

http://www.microsoft.com/downloads/en/results.aspx?freetext=WDK&displaylang=en&stype=s_basic

Or off Microsoft Connect (remember, you have to be signed in to your connect account).

https://connect.microsoft.com/site148

Now, go forth and code!