MCPs -> Many Filthy _S Ps
[akaros.git] / Makelocal.template
index 37adece..43d273e 100644 (file)
@@ -1,5 +1,6 @@
 # General Purpose configuration parameters
 #CFLAGS += $(CONFIG_APPSERVER)
+#CFLAGS += $(CONFIG_OSDI)
 
 # Kernel configuration parameters
 #KERN_CFLAGS += $(CONFIG_KFS)
@@ -18,7 +19,8 @@
 #KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
 #KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
 #KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
-#KERN_CFLAGS += $(CONFIG_EXPER_TRADPROC))
+#KERN_CFLAGS += $(CONFIG_EXPER_TRADPROC)
+#KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
 #KERN_CFLAGS += -DDEVELOPER_NAME=brho