sched: Catch the lack of a scheduler type
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 11 Apr 2018 19:44:11 +0000 (15:44 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 30 Apr 2018 18:38:29 +0000 (14:38 -0400)
commit59ac1905c31962a145feb86f829972c322cf3855
treed45bc4faa8d16c38f88acffd7b871370d424a84d
parent77a71caa14f439e70ab8dd47d5a40753ee2a3be3
sched: Catch the lack of a scheduler type

If this happens, it might be a Makefile bug or a buggy .config file.
The #error is a little easier to diagnose.  I got this when I screwed up
the Makefile and turned a CFLAGS -> FLAGS for the CONFIG_ vars.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/corerequest.h