results by Bing
    WDK and WinDbg downloads. This is the place to get your Windows Driver Kit (WDK, formerly DDK) and WinDbg downloads, including the Windows 7 release of the Debugging ...
    I will verify memory allocation made by our driver for our PCI-e board during boot. My suggestion is to use a simple script in host reseting target PC with our board ...
    Download the Debugging Tools for Windows toolkit from the Microsoft Web site at http://www.microsoft.com/ddk/debugging/. Double-click Dbg_x86_6.0.17.0.exe.
    "For more information on configuring use of the symbol server, see http://www.microsoft.com/whdc/ddk/debugging/symbols.mspx." It should read:
    DDK Debugging. Windows Desktop Development > Windows Hardware WDK and Driver Development. I will verify memory allocation made by our driver for our PCI-e board ...
    This can be downloaded from: http://www.microsoft.com/ddk/debugging/default.asp Also see this Kb article http://support.microsoft.com/kb/315263.
    For details about setting up symbols, see http://www.microsoft.com/ddk/debugging/symbols.asp. Below is an example: _NT_SYMBOL_PATH=SRV*c: ...
    ... they will make debugging a lot more easy Call To Action Try the new debugger ! http://www.microsoft.com/ddk/debugging Read the documentation.
    The debuggers themselves are available at http://www.microsoft.com/whdc/ddk/debugging/default.mspx and include reasonably good HTML Help documentation.
    ... http://www.microsoft.com/whdc/ddk/debugging Advanced Driver Debugging Goals Debugger overview Update on Windows Debuggers features Advanced debugging ...