Date: Fri, 9 Apr 1999 11:10:09 +0930 From: Greg Lehey <grog@lemis.com> To: Julian Elischer <julian@whistle.com> Cc: Nick Hibma <nick.hibma@jrc.it>, Greg Black <gjb-freebsd@gba.oz.au>, Peter Wemm <peter@netplex.com.au>, 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: <19990409111009.W2142@lemis.com> In-Reply-To: <Pine.BSF.3.95.990407211551.2116J-100000@current1.whistle.com>; from Julian Elischer on Wed, Apr 07, 1999 at 09:16:48PM -0700 References: <19990408122944.D2142@lemis.com> <Pine.BSF.3.95.990407211551.2116J-100000@current1.whistle.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Wednesday, 7 April 1999 at 21:16:48 -0700, Julian Elischer wrote:
> On Thu, 8 Apr 1999, Greg Lehey wrote:
>> On Wednesday, 7 April 1999 at 15:35:15 +0200, Nick Hibma wrote:
>>> On Wed, 7 Apr 1999, Greg Black wrote:
>>>
>>>>>> 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.
>>>>
>>>> Agreed.
>>>
>>> Will that include a stripping of the previous kernel?
>>>
>>> if -x /kernel
>>> strip -g /kernel
>>> mv /kernel
>>>
>>> This is required or otherwise make the root partition bigger by
>>> default. 2x10Mb for the kernel does not leave a lot of room for
>>> etc. Patch for this is available if wanted. Just bounce me a
>>> message.
>>
>> Well, that's not quite the way I'm doing it. By default, I make a
>> kernel called kernel.debug and use the following rule to create a
>> stripped kernel:
>>
>> ${KERNEL}: ${KERNEL}.debug
>> objcopy --strip-debug ${KERNEL}.debug ${KERNEL}
>
> So I presume you've made an aout kernel?
Bad presumption.
> (we still use aout kernels on 3.1 but I haven't tried in 4.0 for a
> while now)
I thought they weren't supported in -CURRENT. That's the only place
I've implemented it.
Greg
--
See complete headers for address, home page and phone numbers
finger grog@lemis.com for PGP public key
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19990409111009.W2142>