On Wed, 20 Mar 1996 18:52:54 -0500 
 "Perry E. Metzger" <perry@piermont.com> wrote:

 > I was just looking at the boot code for port-i386. It appears to
 > always load the kernel symbol table into memory. I'm not sure if I've
 > misinterpreted something, though.

I believe this is true for *all* the ports ... the symbols are always 
loaded, but they're not preserved if DDB isn't in the kernel, so you 
don't really waste anything if DDB isn't there.

--------------------------------------------------------------------------
Jason R. Thorpe                                       thorpej@nas.nasa.gov
NASA Ames Research Center                               Home: 408.866.1912
NAS: M/S 258-6                                          Work: 415.604.0935
Moffett Field, CA 94035                                Pager: 415.428.6939