Microsoft ofrece dos depuradores en modo kernel, WinDbg y KD, sin costo alguno.