4.3 Building Drivers for Debugging

This section explains how to write and build a driver so that it provides debugging information to WinDbg. It includes the following topics:

• How to use the DDK supplied checked and free build environments to control the compiler and linker options and definitions that the build utility uses to build a driver.

• How to use debugging functions in your driver code to insert breakpoints and print messages to WinDbg.

• How to use the debugging macros and print mechanisms provided in the driver samples.