Subject: Re: panic: ptdi %x
To: None <>
From: Jason Thorpe <>
List: current-users
Date: 03/21/1996 11:27:21
On Wed, 20 Mar 1996 18:52:54 -0500 
 "Perry E. Metzger" <> 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                             
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