Cleaned up the way ifdefs are handled
[akaros.git] / Makeconfig
1 # Kernel 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 # KERN_CFLAGS += $(CONFIG_KFS) $(CONFIG_BSD_ON_CORE0)
5 CONFIG_KFS:=                       -D__CONFIG_KFS__
6 CONFIG_SINGLE_CORE:=               -D__CONFIG_SINGLE_CORE__
7 CONFIG_NETWORKING:=                -D__CONFIG_NETWORKING__
8 CONFIG_SERIAL_IO:=                 -D__CONFIG_SERIAL_IO__
9 CONFIG_BSD_ON_CORE0:=              -D__CONFIG_BSD_ON_CORE0__
10 CONFIG_SPINLOCK_DEBUG:=            -D__CONFIG_SPINLOCK_DEBUG__
11 CONFIG_PAGE_COLORING:=             -D__CONFIG_PAGE_COLORING__
12 CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
13 CONFIG_DEMAND_PAGING:=             -D__CONFIG_DEMAND_PAGING__
14
15 # Userspace configuration parameters
16 # By default, each of these options will be turned off
17 # To enable any of these options, add a line like the following to your Makelocal
18 # USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
19 CONFIG_SYSCALL_TRAP:=              -D__CONFIG_SYSCALL_TRAP__
20
21 # User tests configuration parameters
22 # By default, each of these options will be turned off
23 # To enable any of these options, add a line like the following to your Makelocal
24 # TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
25 CONFIG_STATIC_APPS:=               -static