• Graphical 32-bit/64-bit debugger from Microsoft
• For user-mode and kernel-mode debugging
• Also local kernel debugging

link:Driver Developer Resources: Debugging Tools for Windows

docs:
http://windbg.info/
How to install Windbg and get your first memory dump - Speaking of which... - Site Home - MSDN Blogs
Driver Developer Resources: Debugging Tools for Windows

@firebitsbr