Re: device driver debugger

Martin von Loewis (martin@mira.isdn.cs.tu-berlin.de)
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,
Martin

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu