-# General Purpose configuration parameters
-#CFLAGS += $(CONFIG_APPSERVER)
-#CFLAGS += $(CONFIG_OSDI)
-
-# Kernel configuration parameters
-#KERN_CFLAGS += $(CONFIG_KFS)
-#KERN_CFLAGS += $(CONFIG_SINGLE_CORE)
-#KERN_CFLAGS += $(CONFIG_NETWORKING)
-#KERN_CFLAGS += $(CONFIG_SERIAL_IO)
-#KERN_CFLAGS += $(CONFIG_BSD_ON_CORE0)
-# Enabling this can cause userspace to make the kernel panic.
-#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)
-
-#KERN_CFLAGS += -DDEVELOPER_NAME=waterman
-#KERN_CFLAGS += -DDEVELOPER_NAME=brho
-# This manager runs the OSDI microbenchmarks from KFS
-#KERN_CFLAGS += -DDEVELOPER_NAME=tests
-