This video demonstrates the Windbg debugger plugin and how to debug a live kernel.
Go back to the post.