The Win32 SDK and the WinDbg online help file provide a complete description of the syntax for WinDbg's commands, including kernel debugging commands. There are also built-in kernel debugging extensions that are not described in the SDK documentation. In addition, you can create your own extensions to the kernel debugging command set. Use the !? command at the WinDbg prompt for a listing of the built-in kernel debugging commands and built-in command extensions.