diff options
Diffstat (limited to 'src/arch/x86/Kconfig')
| -rw-r--r-- | src/arch/x86/Kconfig | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index 3f97644567..d2ae320810 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -65,23 +65,21 @@ config ARCH_ALL_STAGES_X86_64 select ARCH_ROMSTAGE_X86_64 select ARCH_RAMSTAGE_X86_64 -config HAVE_EXP_X86_64_SUPPORT +config HAVE_X86_64_SUPPORT bool help Enable experimental support to build and run coreboot in 64-bit mode. When selecting this option for a new platform, it is highly advisable to provide a config file for Jenkins to build-test the 64-bit option. -config USE_EXP_X86_64_SUPPORT - bool "[EXPERIMENTAL] Run coreboot in long (64-bit) mode" - depends on HAVE_EXP_X86_64_SUPPORT +config USE_X86_64_SUPPORT + bool "Run coreboot in long (64-bit) mode" + depends on HAVE_X86_64_SUPPORT select ARCH_ALL_STAGES_X86_64 help When set, most of coreboot runs in long (64-bit) mode instead of the usual protected flat (32-bit) mode. 64-bit CPUs and OSes can be used - irrespective of whether coreboot runs in 32-bit or 64-bit mode. This - is an experimental option: do not enable unless one wants to test it - and has the means to recover a system when coreboot fails to boot. + irrespective of whether coreboot runs in 32-bit or 64-bit mode. config PAGE_TABLES_IN_CBFS bool |