Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 07 Apr 1999 22:46:42 +1000
From:      Greg Black <gjb-freebsd@gba.oz.au>
To:        Peter Wemm <peter@netplex.com.au>
Cc:        Greg Lehey <grog@lemis.com>, Archie Cobbs <archie@whistle.com>, Christopher Michaels <ChrisMic@clientlogic.com>, questions@FreeBSD.ORG, hackers@FreeBSD.ORG
Subject:   Re: Debug kernel by default (was: System size with -g) 
Message-ID:  <19990407124642.15660.qmail@alpha.comkey.com.au>
In-Reply-To: <199904070645.OAA09741@spinner.netplex.com.au>  of Wed, 07 Apr 1999 14:45:24 %2B0800
References:  <199904070645.OAA09741@spinner.netplex.com.au> 

next in thread | previous in thread | raw e-mail | index | archive | help
> > > On the whole though, I feel that the best way to deal with loading
> > > extra debugging symbols is to do it shortly after boot.
> > 
> > Before or after starting process 0?
> 
> After, since they are not used for anything at all and just waste
> unpageable kernel memory.

My major concern was indeed waste of memory in this way, so this
sounds like a good move.

> > > And on the subject of debugging kernels getting built, I'd tend to
> > > agree.  Don't install them though, install the stripped version.
> > 
> > I had planned to leave that to the user: 'make install' will install a
> > stripped kernel, 'make install.debug' will install the full symbol
> > kernel.  I still think this is a reasonable compromise.
> 
> Yep.  I'd suggest modifying the Makefile to produce kernel.debug as the
> final link stage, and then do a:
> 
> objcopy --strip-debug kernel.debug kernel
> 
> This will save a copy of a large file. :-)

I like the sound of this, especially if it's combined with the
other suggestion to make config a bit verbose about just what
it's setting up.

-- 
Greg Black <gjb@acm.org>



To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-questions" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19990407124642.15660.qmail>