Rename vcore-tls.{h,c} to tls.{h,c}
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 0981d1f..b9c1310 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -11,9 +11,9 @@ config SRCARCH
 
 config 64BIT
        bool "64-bit kernel"
-       default n
+       default y
        help
-               Say yes to build a 64-bit kernel, amd64 / x86_64, riscv64, etc.
+               Say yes to build a 64-bit kernel.  Must be 'y' for x86.
 
 menuconfig RUN_INIT_SCRIPT
        bool "Run init script after boot"
@@ -310,4 +310,6 @@ config BSD_ON_CORE0
 
 endmenu
 
+source "kern/lib/Kconfig"
+
 source "kern/src/ktest/Kconfig"