readdir() and readdir_r() (XCC)
[akaros.git] / Makelocal.template
index 6b7c6c7..bd14c95 100644 (file)
@@ -3,6 +3,7 @@
 
 # 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)
 #KERN_CFLAGS += $(CONFIG_SEQLOCK_DEBUG)
 #KERN_CFLAGS += $(CONFIG_SPINLOCK_DEBUG)
 #KERN_CFLAGS += $(CONFIG_PAGE_COLORING)
-#KERN_CFLAGS += $(CONFIG_APPSERVER)
 #KERN_CFLAGS += $(CONFIG_DEMAND_PAGING)
 #KERN_CFLAGS += $(CONFIG_NOMTRRS)
 #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_EXPER_TRADPROC)
 #KERN_CFLAGS += $(CONFIG_MONITOR_ON_INT)
+#KERN_CFLAGS += $(CONFIG_DISABLE_SMT)
+#KERN_CFLAGS += $(CONFIG_BOXBORO)
+# Enable this to set up ARSC server
+#KERN_CFLAGS += $(CONFIG_ARSC_SERVER)
+
 #KERN_CFLAGS += -DDEVELOPER_NAME=waterman
 #KERN_CFLAGS += -DDEVELOPER_NAME=brho
 
+
+# Paths for the initramfs (need to be directories)
+#INITRAMFS_PATHS = kern/kfs obj/tests
+# Program to execute before building the initramfs
+#INITRAMFS_BIN = tools/whatever.sh
+
 # Userspace configuration parameters
 #USER_CFLAGS += $(CONFIG_SYSCALL_TRAP)
 #USER_CFLAGS += $(CONFIG_USER_DEBUGINFO)