# General Purpose configuration parameters
# By default, each of these options will be turned off
# To enable any of these options, add a line like the following to your Makelocal
# CFLAGS += $(CONFIG_APPSERVER)
CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
CONFIG_ARSC_SERVER:=               -D__CONFIG_ARSC_SERVER__

# Kernel configuration parameters
# By default, each of these options will be turned off
# To enable any of these options, add a line like the following to your Makelocal
# KERN_CFLAGS += $(CONFIG_KFS) $(CONFIG_BSD_ON_CORE0)
CONFIG_KFS:=                       -D__CONFIG_KFS__
CONFIG_EXT2FS:=                    -D__CONFIG_EXT2FS__
CONFIG_DEDICATED_MONITOR:=         -D__CONFIG_DEDICATED_MONITOR__
CONFIG_SINGLE_CORE:=               -D__CONFIG_SINGLE_CORE__
CONFIG_NETWORKING:=                -D__CONFIG_NETWORKING__
CONFIG_SERIAL_IO:=                 -D__CONFIG_SERIAL_IO__
CONFIG_BSD_ON_CORE0:=              -D__CONFIG_BSD_ON_CORE0__
CONFIG_SEQLOCK_DEBUG:=             -D__CONFIG_SEQLOCK_DEBUG__
CONFIG_SPINLOCK_DEBUG:=            -D__CONFIG_SPINLOCK_DEBUG__
CONFIG_PAGE_COLORING:=             -D__CONFIG_PAGE_COLORING__
CONFIG_DEMAND_PAGING:=             -D__CONFIG_DEMAND_PAGING__
CONFIG_NOMTRRS:=                   -D__CONFIG_NOMTRRS__
CONFIG_E1000_MMIO_HACK:=           -D__CONFIG_E1000_MMIO_HACK__
CONFIG_E1000_ON_BOXBORO:=          -DE1000_MMIO_ADDR=0x9bb20000
CONFIG_E1000_ON_S142:=             -DE1000_MMIO_ADDR=0xfbee0000
CONFIG_ENABLE_MPTABLES:=           -D__CONFIG_ENABLE_MPTABLES__
CONFIG_MONITOR_ON_INT:=            -D__CONFIG_MONITOR_ON_INT__
CONFIG_DISABLE_SMT:=               -D__CONFIG_DISABLE_SMT__
CONFIG_BOXBORO:=                   -D__CONFIG_BOXBORO__
CONFIG_RESET_STACKS:=              -D__CONFIG_RESET_STACKS__
CONFIG_PCI_VERBOSE:=               -D__CONFIG_PCI_VERBOSE__
CONFIG_ETH_AUDIO:=                 -D__CONFIG_ETH_AUDIO__
CONFIG_KB_CORE0_ONLY:=             -D__CONFIG_KB_CORE0_ONLY__
CONFIG_KTHREAD_POISON:=            -D__CONFIG_KTHREAD_POISON__

# Userspace configuration parameters
# By default, each of these options will be turned off
# To enable any of these options, add a line like the following to your Makelocal
# USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
CONFIG_SYSCALL_TRAP:=              -D__CONFIG_SYSCALL_TRAP__
CONFIG_USER_DEBUGINFO:=            -g

# User tests configuration parameters
# By default, each of these options will be turned off
# To enable any of these options, add a line like the following to your Makelocal
# TESTS_CFLAGS += $(CONFIG_STATIC_APPS)
CONFIG_STATIC_APPS:=               -static