Re: clue desired: booting debug kernel

[Marco S Hyman <marc@snafu.org>]

Aaron Campbell writes:
 > kernel w/o debugging symbols). If you boot with this and dump core, when you
 > come back up you should be able to gdb bsd.gdb, and target kcore the core
 > file. Someone on icb told me how to do this a few days ago. =) (I hope I got
 > it right).

Yes, I know how to use bsd.gdb with gdb to read core dumps.  I was using
bsd.gdb as an example...  My current problem is that a kernel compiled
with -DAUDIO_DEBUG won't load.  I really wanted a kernel with those
audio debug printfs.

// marc