>>As far as I know, 4.4-Lite didn't actually load symbols.  I doubt that
>>BSD/OS loads them, as well.

>	Neither look like they do.

I've recently been able to do this with FreeBSD 2.1.0 and a roughly
6MB fully debug-symboled kernel (fairly light-weight, relatively
speaking).

>>NetBSD actually does load the symbols into memory, and even keeps them
>>there if you have DDB enabled.

Does it give you anything extra besides source line numbers?

>	Ok, I didn't know this. Does this work with KGDB? (and, for that
>matter, is it just me, or is KGDB not really in the i386 port?)

Is there any documentation on KGDB (or a way to do source-level
debugging of the kernel, even if remotely through a serial port)?

-----------------------------------------------------------------------------
  Michael L. VanLoon                                 michaelv@HeadCandy.com
        --<  Free your mind and your machine -- NetBSD free un*x  >--
    NetBSD working ports: 386+PC, Mac 68k, Amiga, Atari 68k, HP300, Sun3,
        Sun4/4c/4m, DEC MIPS, DEC Alpha, PC532, VAX, MVME68k, arm32...
    NetBSD ports in progress: PICA, others...

   Roll your own Internet access -- Seattle People's Internet cooperative.
                  If you're in the Seattle area, ask me how.
-----------------------------------------------------------------------------