WDK 8.1 Update
The drivers can be built using WDK 8.1 Update.
You can find the Visual Studio 2013 solution & project files required to build the drivers in this directory. Build the projects as if you were building regular Windows applications.
These files were generated by Visual Studio 2013 Update 5 w/ Windows Driver Kit 8.1 Update.