This section describes basic procedures for using KD, the kernel debugger. The actual debugger name is based on the platform:
The following topics are covered in this section: