readline() sends a \n when it got a \r
[akaros.git] / Makelocal.template
index 84020fb..ae9ea59 100644 (file)
@@ -31,6 +31,7 @@
 #KERN_CFLAGS += $(CONFIG_ETH_AUDIO)
 # Avoid KB input on buggy nehalems (brho's machine)
 #KERN_CFLAGS += $(CONFIG_KB_CORE0_ONLY)
 #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
 
 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
 #KERN_CFLAGS += -DDEVELOPER_NAME=brho