1 /* This is the master header for the Scheduler. It includes some other files
2 * and defines the principal constants.
4 #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */
5 #define _MINIX 1 /* tell headers to include MINIX stuff */
6 #define _SYSTEM 1 /* tell headers that this is the kernel */
8 /* The following are so basic, all the *.c files get them automatically. */
9 #include <minix/config.h> /* MUST be first */
10 #include <sys/types.h>
11 #include <minix/const.h>
13 #include <minix/syslib.h>
14 #include <minix/sysutil.h>
15 #include <minix/timers.h>
21 extern struct machine machine
; /* machine info */