Re: device driver debugger

Martin von Loewis (
Thu, 14 May 1998 22:21:45 +0200

> could someone tell me wich is the best debugging tool to develop a
> device driver
> (a gdb for kernel applications)

There is the Integrated Kernel Debugging patch (ikd). I don't have a
reference, but I'm sure you are aware of internet search engines :-)

It is integrated because it has a couple of add-ons: malloc debugging
(searching for leaks), and kgdb support. You'll find details in the
patch; in short, it is possible to single-step the kernel as long as
interrupts are not turned off.

Hope this helps,

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to