My personal cheat sheet for using WinDbg for kernel debugging - View it on GitHub