sd: fix error string arguments
[akaros.git] / config-default
index f7b61c5..d6e0875 100644 (file)
@@ -33,21 +33,12 @@ CONFIG_SOCKET=y
 CONFIG_KFS=y
 CONFIG_KFS_PATHS="kern/kfs"
 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