windows kernel debugging

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 va开发者_Python百科lues from hacked idt table. Is there any kgdb equivalent?

Thanks

I would think WinDbg would be what you need.