> 	Obviously, I want gdb to see a kernel with debugging symbols. Can I
> tell gdb to open netbsd.gdb and target a kernel running netbsd? Does
> this never have any conflicts?

Yes, give netbsd.gdb to gdb (that's what it is for!), but you have to make
sure both kernels are from the same build dir (and same build). The
installed /netbsd kernel is just a stripped version of the netbsd.gdb kernel
(which was the linkers output).

So after a make: install netbsd, start remote debug and use netbsd.gdb as
your gdb file.


Martin