1 # General Purpose configuration parameters
2 # By default, each of these options will be turned off
3 # To enable any of these options, add a line like the following to your Makelocal
4 # CFLAGS += $(CONFIG_APPSERVER)
5 CONFIG_APPSERVER:= -D__CONFIG_APPSERVER__
7 # Kernel configuration parameters
8 # By default, each of these options will be turned off
9 # To enable any of these options, add a line like the following to your Makelocal
10 # KERN_CFLAGS += $(CONFIG_KFS) $(CONFIG_BSD_ON_CORE0)
11 CONFIG_KFS:= -D__CONFIG_KFS__
12 CONFIG_DEDICATED_MONITOR:= -D__CONFIG_DEDICATED_MONITOR__
13 CONFIG_SINGLE_CORE:= -D__CONFIG_SINGLE_CORE__
14 CONFIG_NETWORKING:= -D__CONFIG_NETWORKING__
15 CONFIG_SERIAL_IO:= -D__CONFIG_SERIAL_IO__
16 CONFIG_BSD_ON_CORE0:= -D__CONFIG_BSD_ON_CORE0__
17 CONFIG_SEQLOCK_DEBUG:= -D__CONFIG_SEQLOCK_DEBUG__
18 CONFIG_SPINLOCK_DEBUG:= -D__CONFIG_SPINLOCK_DEBUG__
19 CONFIG_PAGE_COLORING:= -D__CONFIG_PAGE_COLORING__
20 CONFIG_DEMAND_PAGING:= -D__CONFIG_DEMAND_PAGING__
21 CONFIG_NOMTRRS:= -D__CONFIG_NOMTRRS__
22 CONFIG_E1000_MMIO_HACK:= -D__CONFIG_E1000_MMIO_HACK__
23 CONFIG_E1000_ON_BOXBORO:= -DE1000_MMIO_ADDR=0x9bb20000
24 CONFIG_E1000_ON_S142:= -DE1000_MMIO_ADDR=0xfbee0000
25 CONFIG_DISABLE_MPTABLES:= -D__CONFIG_DISABLE_MPTABLES__
26 CONFIG_MONITOR_ON_INT:= -D__CONFIG_MONITOR_ON_INT__
27 CONFIG_DISABLE_SMT:= -D__CONFIG_DISABLE_SMT__
28 CONFIG_BOXBORO:= -D__CONFIG_BOXBORO__
29 CONFIG_ARSC_SERVER:= -D__CONFIG_ARSC_SERVER__
31 # Userspace configuration parameters
32 # By default, each of these options will be turned off
33 # To enable any of these options, add a line like the following to your Makelocal
34 # USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
35 CONFIG_SYSCALL_TRAP:= -D__CONFIG_SYSCALL_TRAP__
36 CONFIG_USER_DEBUGINFO:= -g
38 # User tests configuration parameters
39 # By default, each of these options will be turned off
40 # To enable any of these options, add a line like the following to your Makelocal
41 # TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
42 CONFIG_STATIC_APPS:= -static