On Tue, Jul 13, 2004 at 09:05:16AM -0400, Andrew Gallatin wrote: > still busy. Do you have a gdb which can do kernel debugging? > (apparently ports/dev/gdb53 can..) As can ports/dev/gdb6 -- -- David (obrien at FreeBSD.org)