Add page table walk for guest va to pa translation
[akaros.git] / config-default
index 2128bca..4aba9d8 100644 (file)
@@ -3,7 +3,6 @@
 #
 CONFIG_64BIT=y
 CONFIG_X86=y
-# CONFIG_X86_32 is not set
 CONFIG_X86_64=y
 
 #
@@ -47,7 +46,6 @@ CONFIG_KFS_CPIO_BIN=""
 #
 # 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