Makeconfig

   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__
   6
   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__
  30
  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
  37
  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
  43