WindowsGuestDrivers/HOWTO
From KVM
HOWTO
How to get WDK (DDK)
Using git on Windows
Set up MS symbol server for the debugging (Windbg)
- Although symbols for each OS could be downloaded [3], it is easier to setup automatic download for the symbols
SRV*DownstreamStore*http://msdl.microsoft.com/download/symbols