I saw the FAQ in the i386 FAQ (has it really not been ported to
anything other than i386?). It says to boot the kernel using "netbsd",
not "netbsd.gdb", but it doesn't say which to give to gdb.

	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?

	Thanks!
	-- Ethan