Syncs up Makeconfig and the Makelocal.template
[akaros.git] / Makeconfig
index c55d21e..c528324 100644 (file)
@@ -14,6 +14,7 @@ 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__
@@ -25,6 +26,7 @@ CONFIG_DISABLE_MPTABLES:=          -D__CONFIG_DISABLE_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__
 
 # Userspace configuration parameters
 # By default, each of these options will be turned off