4.1 Debugging Kernel Mode Drivers

This section contains the necessary information and options that are relevant to debugging kernel mode device drivers. The following material is covered in this section:

Information

Section

Procedure for establishing a kernel debugging session.

4.1.1 

Hardware requirements for the serial debugging cable.

4.1.2 

Using the free and checked builds of Windows NT.

4.1.3 

Enabling kernel debugging on the target machine.

4.1.4 

Setting up symbols for debugging.

4.1.5 

Starting WinDbg for kernel mode debugging.

4.1.6 

Kernel deugging options.

4.1.7 

Debugging crash dumps from failed systems.

4.1.8 

How to connect to a halted target machine.

4.1.9 

Using WinDbg for kernel mode debugging over a network.

4.1.10 

The command line options for WinDbg.

4.1.11 

How to seperate symbols from the driver binary.

4.1.12