Trigger the monitor with an interrupt
[akaros.git] / Makelocal.template
index 37adece..6b7c6c7 100644 (file)
@@ -18,7 +18,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