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 |