Microsoft KB Archive/115760

-

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:


 * 1) Set up two machines connected with cables exactly as you would for kernel debugging.
 * 2) Start up WinDbg by typing the following:

start windbg ntoskrnl.exe
 * 1) 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.
 * 2) Reboot the target and your debugging takes place.

Additional query words: 3.50

Keywords :

Version :

Platform :

Issue type :