Kernel debugger

Uma ferramenta de depuração usada por desenvolvedores de sistemas operacionais para analisar o estado interno do kernel, pausar sua execução e inspecionar a memória e os registradores.