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 /* OXPCIe952 PCIe with 2 UARTs in-kernel support */
18 #define CONFIG_OXPCIE 0
20 /* This is the master header for the kernel. It includes some other files
21 * and defines the principal constants.
23 #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */
24 #define _MINIX 1 /* tell headers to include MINIX stuff */
25 #define _SYSTEM 1 /* tell headers that this is the kernel */
28 * we need the defines above in assembly files to configure the kernel
29 * correctly. However we don't need the rest
33 /* The following are so basic, all the *.c files get them automatically. */
34 #include <minix/config.h> /* global configuration, MUST be first */
35 #include <ansi.h> /* C style: ANSI or K&R, MUST be second */
36 #include <sys/types.h> /* general system types */
37 #include <minix/const.h> /* MINIX specific constants */
38 #include <minix/type.h> /* MINIX specific types, e.g. message */
39 #include <minix/ipc.h> /* MINIX run-time system */
40 #include <minix/sysutil.h> /* MINIX utility library functions */
41 #include <timers.h> /* watchdog timer management */
42 #include <errno.h> /* return codes and error numbers */
44 /* Important kernel header files. */
45 #include "config.h" /* configuration, MUST be first */
46 #include "const.h" /* constants, MUST be second */
47 #include "type.h" /* type definitions, MUST be third */
48 #include "proto.h" /* function prototypes */
49 #include "glo.h" /* global variables */
50 #include "ipc.h" /* IPC constants */
51 #include "profile.h" /* system profiling */
52 #include "debug.h" /* debugging, MUST be last kernel header */
54 #endif /* __ASSEMBLY__ */