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.