sys_poke_ksched() on behalf of other processes
[akaros.git] / Makeconfig
index 854ceac..1dd07c4 100644 (file)
@@ -3,6 +3,8 @@
 # To enable any of these options, add a line like the following to your Makelocal
 # CFLAGS += $(CONFIG_APPSERVER)
 CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
+CONFIG_DEMO_SLAVE:=                -D__CONFIG_DEMO_SLAVE__
+CONFIG_ARSC_SERVER:=               -D__CONFIG_ARSC_SERVER__
 
 # Kernel configuration parameters
 # By default, each of these options will be turned off
@@ -10,27 +12,30 @@ CONFIG_APPSERVER:=                 -D__CONFIG_APPSERVER__
 # 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_SPINPDR_NO_CAS:=            -D__CONFIG_SPINPDR_NO_CAS__
 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_DISABLE_MPTABLES:=          -D__CONFIG_DISABLE_MPTABLES__
+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__
+CONFIG_PRINTK_NO_BACKSPACE:=       -D__CONFIG_PRINTK_NO_BACKSPACE__
+CONFIG_SOCKET:=                    -D__CONFIG_SOCKET__
 
 # Userspace configuration parameters
 # By default, each of these options will be turned off