From owner-freebsd-arch@FreeBSD.ORG  Sat Apr 19 08:49:12 2003
Return-Path: <owner-freebsd-arch@FreeBSD.ORG>
Delivered-To: freebsd-arch@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id 3001337B401; Sat, 19 Apr 2003 08:49:12 -0700 (PDT)
Received: from espresso.bsdmike.org (espresso.bsdmike.org [65.39.129.122])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id 506F543FD7; Sat, 19 Apr 2003 08:49:11 -0700 (PDT)
	(envelope-from mike@espresso.bsdmike.org)
Received: by espresso.bsdmike.org (Postfix, from userid 1002)
	id EFFA99C4C; Sat, 19 Apr 2003 11:34:36 -0400 (EDT)
Date: Sat, 19 Apr 2003 11:34:36 -0400
From: Mike Barcroft <mike@FreeBSD.org>
To: Bruce Evans <bde@zeta.org.au>
Message-ID: <20030419113436.C8793@espresso.bsdmike.org>
References: <200304182047.h3IKlhIZ000817@number6.magda.ca>
	<20030418214702.GA98907@rot13.obsecurity.org>
	<20030419165033.V15269@gamplex.bde.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20030419165033.V15269@gamplex.bde.org>;
	from bde@zeta.org.au on Sat, Apr 19, 2003 at 05:17:02PM +1000
Organization: The FreeBSD Project
cc: arch@freebsd.org
cc: jeff@freebsd.org
cc: David Magda <dmagda+fbugs@ee.ryerson.ca>
cc: Kris Kennaway <kris@obsecurity.org>
Subject: Re: config(8) should check if a scheduler is selected
X-BeenThere: freebsd-arch@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussion related to FreeBSD architecture
	<freebsd-arch.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arch>
List-Post: <mailto:freebsd-arch@freebsd.org>
List-Help: <mailto:freebsd-arch-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 19 Apr 2003 15:49:12 -0000

Bruce Evans <bde@zeta.org.au> writes:
> On Fri, 18 Apr 2003, Kris Kennaway wrote:
> 
> > On Fri, Apr 18, 2003 at 04:47:43PM -0400, David Magda wrote:
> >
> > > If you run config(8) on a kernel configuration file which doesn't
> > > have a scheduler selected then it does *NOT* complain.
> >
> > How is this different to any of the other mandatory kernel components
> > or dependencies?  You can build a kernel that will refuse to link in
> > many ways; missing a scheduler is just a new mistake you might make if
> > you forget to read /usr/src/UPDATING.
> 
> It is the only mandatory option (sic).  Kernels with no options (although
> they might not be useful) can be built except for this bug.  Example of
> a minimal config file (before misconfiguration of the configuration of
> scheduling).
> 
> %%%
> machine		i386
> cpu		I686_CPU
> ident		MIN
> %%%
> 
> BTW, a minimal kernel is now almost 3 times as large as in FreeBSD-2 due
> to general bloat and misconfiguration of configuration in the opposite
> way (subsystems much larger than scheduling are standard; you can still
> leave out FFS and INET but many less useful subsystems are standard).

Since all `options' are optional, maybe `sched' should be its own
directive with two possible values: `4BSD' or `ULE'.

Best regards,
Mike Barcroft