IPGDB is a collection of extensions to GDB and FreeBSD-4.3 to allow
two-machine kernel debugging over UDP. It behaves much like two-machine
kernel debugging over serial ports.
These extensions can easily be applied to other releases of FreeBSD. With
a little bit of modification, these extension can be applied to other BSD
IPGDB on SourceForge
For questions and support, contact Tim Gilman at tgilman AT eudaemon.net. (replace AT with @ to