The Microsoft Windows Driver Development Kit (DDK) is a consolidated driver development kit that provides a build environment, tools, driver samples, and documentation to support driver development for the Windows family of operating systems.
· Reference information about kernel-mode libraries