1 /* This is the master header for the Scheduler. It includes some other files
2 * and defines the principal constants.
4 #define _SYSTEM 1 /* tell headers that this is the kernel */
6 /* The following are so basic, all the *.c files get them automatically. */
7 #include <minix/config.h> /* MUST be first */
9 #include <minix/const.h>
11 #include <minix/syslib.h>
12 #include <minix/sysutil.h>
13 #include <minix/timers.h>
19 extern struct machine machine
; /* machine info */