WindowsGuestDrivers/HOWTO

From KVM
Revision as of 11:17, 3 August 2009 by Yan (talk | contribs)

HOWTO

How to get WDK (DDK)

Using git on Windows

  • [1] - git command line and GUI for Windows
  • Git tutorial - [2]

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