config(8) should check if a scheduler is selected

[Mike Barcroft]

Bruce Evans <bde at 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