Subject: Re: remote GDB of kernel
To: None <carton@Ivy.NET>
From: Wolfgang Solfrank <>
List: current-users
Date: 12/07/1999 15:00:39

> I can see how this might be a big deal.  While we are talking about it,
> does anyone know how to use IPKDB?  I know about it only from the
> suggestiveness of its name and its presence in a few config files.
> Does it work?  Is it useful?  Is it interesting?  Should it go on the
> page, too?

The version in the tree doesn't work currently :-(.

However, I've got the modifications neccessary to make it work for
NetBSD/i386 using a NE2000 compatible pci-based network card.

I'd like for some people to test this a bit, before I check it in.
If anyone wants to help here, please send me mail.

(And for the curious: IPKDB is just another interface between gdb and
the kernel to allow remote debugging.  The main difference is that it
uses UDP/IP.)

ws@TooLs.DE     (Wolfgang Solfrank, TooLs GmbH) 	+49-228-985800