Allow backtrace_user_ctx() on remote cores
[akaros.git] / config-default
index 6fd0b75..ff5c2ee 100644 (file)
@@ -1,14 +1,20 @@
 # default config.  While this is x86 specific, when config'd for RISCV, the x86
 # specific items will be ignored.
 #
+CONFIG_64BIT=y
 CONFIG_X86=y
+CONFIG_X86_64=y
 
 #
-# x86 Hacks
+# x86 Options
 #
 # CONFIG_PCI_VERBOSE is not set
-# CONFIG_NOMTRRS is not set
-# CONFIG_ENABLE_MPTABLES is not set
+# CONFIG_NOFASTCALL_FSBASE is not set
+
+#
+# x86 Hacks
+#
+CONFIG_NOMTRRS=y
 # CONFIG_KB_CORE0_ONLY is not set
 CONFIG_NETWORKING=y
 CONFIG_SOCKET=y
@@ -30,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