WindowsGuestDrivers/HOWTO: Difference between revisions

From KVM
No edit summary
No edit summary
 
Line 2: Line 2:


= How to get WDK (DDK) =
= How to get WDK (DDK) =
* [http://www.microsoft.com/whdc/DevTools/WDK/WDKpkg.mspx - How to get WDK]
* [http://www.microsoft.com/whdc/DevTools/WDK/WDKpkg.mspx How to get WDK]


= Using git on Windows =
= Using git on Windows =

Latest revision as of 11:17, 3 August 2009

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