Reinoud Zandijk <reinoud@NetBSD.org> writes:

> recently i remembered that we had ipkdb for remote kernel debugging. Are 
> ppl. still using it? does it still work?
> 
> I would like to use it to remotely use gdb on an i386 using preferably a 
> cheap PCI rtk card.

Short version: no. Only a very small number of ethernet cards were
ever supported in our kernel, and GDB has long since lost the ability
to speak udp ipkdb.

        - Nathan