4 /* APIC is turned on by default */
7 #define CONFIG_BOOT_VERBOSE
9 * compile in the nmi watchdog by default. It is not enabled until watchdog=1
10 * (non-zero) is set in monitor
12 #define CONFIG_WATCHDOG
13 /* We only support 1 cpu now */
14 #define CONFIG_MAX_CPUS 1
17 /* This is the master header for the kernel. It includes some other files
18 * and defines the principal constants.
20 #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */
21 #define _MINIX 1 /* tell headers to include MINIX stuff */
22 #define _SYSTEM 1 /* tell headers that this is the kernel */
25 * we need the defines above in assembly files to configure the kernel
26 * correctly. However we don't need the rest
30 /* The following are so basic, all the *.c files get them automatically. */
31 #include <minix/config.h> /* global configuration, MUST be first */
32 #include <ansi.h> /* C style: ANSI or K&R, MUST be second */
33 #include <sys/types.h> /* general system types */
34 #include <minix/const.h> /* MINIX specific constants */
35 #include <minix/type.h> /* MINIX specific types, e.g. message */
36 #include <minix/ipc.h> /* MINIX run-time system */
37 #include <minix/sysutil.h> /* MINIX utility library functions */
38 #include <timers.h> /* watchdog timer management */
39 #include <errno.h> /* return codes and error numbers */
41 /* Important kernel header files. */
42 #include "config.h" /* configuration, MUST be first */
43 #include "const.h" /* constants, MUST be second */
44 #include "type.h" /* type definitions, MUST be third */
45 #include "proto.h" /* function prototypes */
46 #include "glo.h" /* global variables */
47 #include "ipc.h" /* IPC constants */
48 #include "profile.h" /* system profiling */
49 #include "debug.h" /* debugging, MUST be last kernel header */
51 #endif /* __ASSEMBLY__ */