Re: clue desired: booting debug kernel

[Aaron Campbell <aaron@ug.cs.dal.ca>]

On Thu, 3 Jun 1999, Marco S Hyman wrote:

> My i386 box (Toshiba Libretto 100 CT) refuses to boot a kernel with
> debugging symbols, e.g. bsd.gdb.  I'm guessing it's a kernel size issue,
> because it has also failed to boot kernels where I've enabled a good
> chunk of printfs.

When you compile a kernel with debugging symbols (i.e., makeoptions
DEBUG="-g"), it creates bsd.gdb, but it also strip -d's this kernel and puts
that in a file called bsd (which should be slightly bigger than your bsd
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).

  .  _  _  _ _ . .   _ _ .  . _  _  _ . .
 :  |-||-||<|_||\|  |_|-||\/||-'|->|_-|_|_  DalTech, Halifax, NS, Canada
  `---------------------------------------- [http://www.biodome.org/~fx] -