Added gawk check to the Makefile
[akaros.git] / Makelocal.template
index ed46ccf..ae9ea59 100644 (file)
@@ -18,7 +18,7 @@
 #KERN_CFLAGS += $(CONFIG_E1000_MMIO_HACK)
 #KERN_CFLAGS += $(CONFIG_E1000_ON_BOXBORO)
 #KERN_CFLAGS += $(CONFIG_E1000_ON_S142)
-#KERN_CFLAGS += $(CONFIG_DISABLE_MPTABLES)
+#KERN_CFLAGS += $(CONFIG_ENABLE_MPTABLES)
 #KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
 #KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
 #KERN_CFLAGS += $(CONFIG_BOXBORO)
 #KERN_CFLAGS += $(CONFIG_ARSC_SERVER)
 # Resets stacks in smp_idle(), at the expense of backtrace
 #KERN_CFLAGS += $(CONFIG_RESET_STACKS)
+#KERN_CFLAGS += $(CONFIG_PCI_VERBOSE)
+# Rimas's Ethernet audio device
+#KERN_CFLAGS += $(CONFIG_ETH_AUDIO)
+# Avoid KB input on buggy nehalems (brho's machine)
+#KERN_CFLAGS += $(CONFIG_KB_CORE0_ONLY)
+#KERN_CFLAGS += $(CONFIG_KTHREAD_POISON)
 
 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
 #KERN_CFLAGS += -DDEVELOPER_NAME=brho