windows kernel debugging

Question

I am adding stubs for windows divide zero interrupt handler. So, every divide zero interrupt comes to my stub and then I route it to actual windows handler. However I am having some issues in implementation. Is there any way to debug windows instruction flow. Print messages in dbgmessage may not be enough as I am may be loading some wrong eip values from hacked idt table. Is there any kgdb equivalent?

Thanks

Answer 1

I would think WinDbg would be what you need.