Cleans up preempt_pending helper functions
[akaros.git] / Makeconfig
index 1730e86..64c811c 100644 (file)
@@ -3,6 +3,7 @@
 # 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
@@ -27,10 +28,11 @@ 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_ARSC_SERVER:=               -D__CONFIG_ARSC_SERVER__
 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