In this post, Matías Porolli looks at how to configure an environment with WinDbg and virtual machines in order to debug drivers or code running in Windows kernel space.

I've never really used WinDbg to diagnose a problem but I'm out of options and can't figure this thing out. Would anybody with a little bit more experience than me be willing to take a look at a ...