small asmconv cleanups.
[minix.git] / kernel / kernel.h
blob97809c1d208a3ec89b46f437ec732ffe1eb3eca4
1 #ifndef KERNEL_H
2 #define KERNEL_H
4 /* APIC is turned on by default */
5 #define CONFIG_APIC
6 /* boot verbose */
7 #define CONFIG_BOOT_VERBOSE
8 /*
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
15 #define cpuid 0
16 /* measure cumulative idle timestamp counter ticks */
17 #undef CONFIG_IDLE_TSC
19 /* This is the master header for the kernel. It includes some other files
20 * and defines the principal constants.
22 #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */
23 #define _MINIX 1 /* tell headers to include MINIX stuff */
24 #define _SYSTEM 1 /* tell headers that this is the kernel */
27 * we need the defines above in assembly files to configure the kernel
28 * correctly. However we don't need the rest
30 #ifndef __ASSEMBLY__
32 /* The following are so basic, all the *.c files get them automatically. */
33 #include <minix/config.h> /* global configuration, MUST be first */
34 #include <ansi.h> /* C style: ANSI or K&R, MUST be second */
35 #include <sys/types.h> /* general system types */
36 #include <minix/const.h> /* MINIX specific constants */
37 #include <minix/type.h> /* MINIX specific types, e.g. message */
38 #include <minix/ipc.h> /* MINIX run-time system */
39 #include <minix/sysutil.h> /* MINIX utility library functions */
40 #include <timers.h> /* watchdog timer management */
41 #include <errno.h> /* return codes and error numbers */
43 /* Important kernel header files. */
44 #include "config.h" /* configuration, MUST be first */
45 #include "const.h" /* constants, MUST be second */
46 #include "type.h" /* type definitions, MUST be third */
47 #include "proto.h" /* function prototypes */
48 #include "glo.h" /* global variables */
49 #include "ipc.h" /* IPC constants */
50 #include "profile.h" /* system profiling */
51 #include "debug.h" /* debugging, MUST be last kernel header */
53 #endif /* __ASSEMBLY__ */
55 #endif /* KERNEL_H */