From owner-freebsd-hackers Wed Apr 7 6:15: 3 1999 Delivered-To: freebsd-hackers@freebsd.org Received: from alpha.comkey.com.au (alpha.comkey.com.au [203.9.152.215]) by hub.freebsd.org (Postfix) with SMTP id 5D94415751 for ; Wed, 7 Apr 1999 06:14:49 -0700 (PDT) (envelope-from gjb-freebsd@gba.oz.au) Received: (qmail 15661 invoked by uid 1001); 7 Apr 1999 12:46:42 -0000 Message-ID: <19990407124642.15660.qmail@alpha.comkey.com.au> X-Posted-By: GBA-Post 1.04 06-Feb-1999 X-PGP-Fingerprint: 5A91 6942 8CEA 9DAB B95B C249 1CE1 493B 2B5A CE30 Date: Wed, 07 Apr 1999 22:46:42 +1000 From: Greg Black To: Peter Wemm Cc: Greg Lehey , Archie Cobbs , Christopher Michaels , questions@FreeBSD.ORG, hackers@FreeBSD.ORG Subject: Re: Debug kernel by default (was: System size with -g) References: <199904070645.OAA09741@spinner.netplex.com.au> In-reply-to: <199904070645.OAA09741@spinner.netplex.com.au> of Wed, 07 Apr 1999 14:45:24 +0800 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG > > > 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 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message