readdir() and readdir_r() (XCC)
[akaros.git] / Makelocal.template
index be1b384..bd14c95 100644 (file)
@@ -1,11 +1,9 @@
 # General Purpose configuration parameters
 #CFLAGS += $(CONFIG_APPSERVER)
-#CFLAGS += $(CONFIG_OSDI)
-#CFLAGS += $(CONFIG_CACHEEFFECT)
-#CFLAGS += $(CONFIG_NOPTHREAD_YIELD)
 
 # Kernel configuration parameters
 #KERN_CFLAGS += $(CONFIG_KFS)
+#KERN_CFLAGS += $(CONFIG_DEDICATED_MONITOR)
 #KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
 #KERN_CFLAGS += $(CONFIG_NETWORKING)
 #KERN_CFLAGS += $(CONFIG_SERIAL_IO)