Marco S Hyman <marc@snafu.org> writes: > Hi, > > 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 I normally use a stripped down kernel to run on and the use bsd.gdb for symbols for gdb. It works. //art