00001 #ifndef KERNEL_H 00002 #define KERNEL_H 00003 00004 /* APIC is turned on by default */ 00005 #define CONFIG_APIC 00006 /* boot verbose */ 00007 #define CONFIG_BOOT_VERBOSE 00008 /* 00009 * compile in the nmi watchdog by default. It is not enabled until watchdog=1 00010 * (non-zero) is set in monitor 00011 */ 00012 #define CONFIG_WATCHDOG 00013 /* We only support 1 cpu now */ 00014 #define CONFIG_MAX_CPUS 1 00015 #define cpuid 0 00016 /* measure cumulative idle timestamp counter ticks */ 00017 #undef CONFIG_IDLE_TSC 00018 00019 /* This is the master header for the kernel. It includes some other files 00020 * and defines the principal constants. 00021 */ 00022 #define _POSIX_SOURCE 1 /* tell headers to include POSIX stuff */ 00023 #define _MINIX 1 /* tell headers to include MINIX stuff */ 00024 #define _SYSTEM 1 /* tell headers that this is the kernel */ 00025 00026 /* 00027 * we need the defines above in assembly files to configure the kernel 00028 * correctly. However we don't need the rest 00029 */ 00030 #ifndef __ASSEMBLY__ 00031 00032 /* The following are so basic, all the *.c files get them automatically. */ 00033 #include <minix/config.h> /* global configuration, MUST be first */ 00034 #include <ansi.h> /* C style: ANSI or K&R, MUST be second */ 00035 #include <sys/types.h> /* general system types */ 00036 #include <minix/const.h> /* MINIX specific constants */ 00037 #include <minix/type.h> /* MINIX specific types, e.g. message */ 00038 #include <minix/ipc.h> /* MINIX run-time system */ 00039 #include <minix/sysutil.h> /* MINIX utility library functions */ 00040 #include <timers.h> /* watchdog timer management */ 00041 #include <errno.h> /* return codes and error numbers */ 00042 00043 /* Important kernel header files. */ 00044 #include "config.h" /* configuration, MUST be first */ 00045 #include "const.h" /* constants, MUST be second */ 00046 #include "type.h" /* type definitions, MUST be third */ 00047 #include "proto.h" /* function prototypes */ 00048 #include "glo.h" /* global variables */ 00049 #include "ipc.h" /* IPC constants */ 00050 #include "profile.h" /* system profiling */ 00051 #include "debug.h" /* debugging, MUST be last kernel header */ 00052 00053 #endif /* __ASSEMBLY__ */ 00054 00055 #endif /* KERNEL_H */
1.5.8