X-Git-Url: http://akaros.cs.berkeley.edu/gitweb/?p=akaros.git;a=blobdiff_plain;f=config-default;h=ff5c2ee26b983f0edb523cca5058ba38c11a7b54;hp=f7b61c57ad9c5ea3d09ff7b9b8aa0e5c172c6ec1;hb=5b5e37b7d9c80047b791196cedd9c2b796577dc0;hpb=c2eb19323d17f4ba13a6b0f57ed10fcf333169ed

diff --git a/config-default b/config-default
index f7b61c5..ff5c2ee 100644
--- a/config-default
+++ b/config-default
@@ -36,18 +36,10 @@ CONFIG_KFS_CPIO_BIN=""
 # CONFIG_EXT2FS is not set
 
 #
-# Memory Management
-#
-# CONFIG_DEMAND_PAGING is not set
-# CONFIG_PAGE_COLORING is not set
-
-#
 # Kernel Debugging
 #
 # CONFIG_SPINLOCK_DEBUG is not set
 # CONFIG_SEQLOCK_DEBUG is not set
-CONFIG_RESET_STACKS=y
-# CONFIG_KTHREAD_POISON is not set
 # CONFIG_DISABLE_SMT is not set
 # CONFIG_PRINTK_NO_BACKSPACE is not set