INFO: Windows NT Drivers Built With Visual C++ 5.0 or Later Require Updated WinDbg

ID: Q165969

The information in this article applies to:

Microsoft Win32 Device Driver Kit (DDK) for Windows NT, versions 3.5, 3.51, 4.0

SUMMARY

If you use Microsoft Visual C++ compiler to build Windows NT kernel mode drivers, then you need to use an updated debugger (WinDbg) to source level debug. The Windows NT debugger (WinDbg version 4.0 or earlier) cannot process the debug information generated from the Visual C++ version 5.0 or later.

An updated version of WinDbg is available at the SDK Web site:

http://msdn.microsoft.com/developer/sdk/default.asp

Or, for downloading the debuggers only:

http://msdn.microsoft.com/developer/sdk/windbg.asp

This version supports Visual C++ 5.0 and 6.0 symbols.

As more information becomes available, it will be posted here.

Additional query words:

Keywords : kbprg NTDDKDebug NTDDKKMode
Version : winnt:3.5,3.51,4.0
Platform : winnt
Issue type : kbinfo