From owner-freebsd-net  Sun Mar 28 13:34:46 1999
Delivered-To: freebsd-net@freebsd.org
Received: from bubba.whistle.com (s205m7.whistle.com [207.76.205.7])
	by hub.freebsd.org (Postfix) with ESMTP
	id 6867C14E8E; Sun, 28 Mar 1999 13:34:45 -0800 (PST)
	(envelope-from archie@whistle.com)
Received: (from archie@localhost)
	by bubba.whistle.com (8.9.2/8.9.2) id NAA72802;
	Sun, 28 Mar 1999 13:33:44 -0800 (PST)
From: Archie Cobbs <archie@whistle.com>
Message-Id: <199903282133.NAA72802@bubba.whistle.com>
Subject: Re: Debug kernel by default? (was: Taking panic dumps (was: 3.1-STABLE dies on 40+ connects (resolved)))
In-Reply-To: <19990328114410.U53452@lemis.com> from Greg Lehey at "Mar 28, 99 11:44:10 am"
To: grog@lemis.com (Greg Lehey)
Date: Sun, 28 Mar 1999 13:33:44 -0800 (PST)
Cc: freebsd-net@FreeBSD.ORG, freebsd-hackers@FreeBSD.ORG
X-Mailer: ELM [version 2.4ME+ PL38 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: owner-freebsd-net@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

Greg Lehey writes:
> In that connection, any comments about changing the default way of
> building a kernel to create a debug kernel and a stripped copy, and
> install the stripped copy?  It would require about 10 MB more storage
> and a little more time to build the kernel, but since kgdb is useless
> without the debug symbols, and disk space is cheap, it seems to me
> that it would be worthwhile.

Building debug kernels takes up a lot more space, which some people
may not have.

How about simply fixing 'config -g' to generate a Makefile that
does the extra step of copying and stripping the kernel and installing
the stripped version kernel.strip instead of kernel?

Then we can modify the handbook et.al. to say "You should build a
debug kernel with 'config -g' if at all possible..". All other steps
remain the same.

Eventually, when/if it's determined that 'config -g' should be the
default, we can make it so easily. But that should be a separate step..

-Archie

___________________________________________________________________________
Archie Cobbs   *   Whistle Communications, Inc.  *   http://www.whistle.com


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