Kernel Debugging Using WinDbg

ID: Q115760

The information in this article applies to:

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

Kernel debugging is possible with WinDbg only when you use Windows NT, versions 3.5 or 3.51. Here are the steps you must take to perform a kernel debugging on Windows NT, versions 3.5 or 3.51:

Set up two machines connected with cables exactly as you would for kernel debugging.

Start up WinDbg by typing the following:

start windbg ntoskrnl.exe

Set up the kernel debugger options for WinDbg from the Kernel Debugger dialog box, which appears when you choose Kernel Debugger from the Options menu.

Reboot the target and your debugging takes place.

Additional query words: 3.50


Keywords          : 
Version           : 
Platform          : 
Issue type        :

Last Reviewed: March 1, 1999