config(8) should check if a scheduler is selected

[David Magda]

>Submitter-Id:	current-users
>Originator:	David Magda
>Organization:	We're organized?
>Confidential:	no
>Synopsis:	config(8) should check if a scheduler is selected
>Severity:	non-critical
>Priority:	medium
>Category:	kern
>Class:		update
>Release:	FreeBSD 5.x
>Environment:

>Description:

If you run config(8) on a kernel configuration file which doesn't
have a scheduler selected then it does *NOT* complain.

Then when you try to do a 'make buildkernel' the make bombs since
there are unresolved functions relating to scheduling.

>How-To-Repeat:

. Create a kernel config file without a scheduler
. Run config(8) it and observe how it does not complain
. 'cd /usr/src; make buildkernel' and observe how it dies

>Fix:

Make config(8) check to see that a scheduler is there.