arch/intel64/Kconfig: add chip choice option

this will be useful for auto selecting CPU features
This commit is contained in:
p-szafonimateusz
2024-02-19 17:18:11 +01:00
committed by Xiang Xiao
parent 39c7ae683f
commit 743bbfcd7e
6 changed files with 17 additions and 1 deletions
+12
View File
@@ -6,6 +6,18 @@
if ARCH_INTEL64 if ARCH_INTEL64
comment "intel64 Configuration Options" comment "intel64 Configuration Options"
choice
prompt "Intel64 Chip Selection"
default ARCH_CHIP_INTEL64_QEMU
config ARCH_CHIP_INTEL64_QEMU
bool "Intel64 QEMU"
config ARCH_CHIP_INTEL64_CUSTOM
bool "Custom Intel64 chip"
endchoice # "Intel64 Chip Selection"
config ARCH_INTEL64_HAVE_TSC_DEADLINE config ARCH_INTEL64_HAVE_TSC_DEADLINE
bool "TSC DEADLINE timer support" bool "TSC DEADLINE timer support"
default y default y
+1 -1
View File
@@ -1819,7 +1819,7 @@ config ARCH_BOARD_QEMU_I486
config ARCH_BOARD_INTEL64_QEMU config ARCH_BOARD_INTEL64_QEMU
bool "Intel64 for Qemu simulator" bool "Intel64 for Qemu simulator"
depends on ARCH_X86_64 || ARCH_INTEL64 depends on ARCH_CHIP_INTEL64_QEMU
---help--- ---help---
Port of NuttX to QEMU in intel64 mode. This port will also run on real Port of NuttX to QEMU in intel64 mode. This port will also run on real
generic Intel64 hardware. generic Intel64 hardware.
@@ -10,6 +10,7 @@ CONFIG_ARCH="x86_64"
CONFIG_ARCH_BOARD="qemu-intel64" CONFIG_ARCH_BOARD="qemu-intel64"
CONFIG_ARCH_BOARD_INTEL64_QEMU=y CONFIG_ARCH_BOARD_INTEL64_QEMU=y
CONFIG_ARCH_CHIP="intel64" CONFIG_ARCH_CHIP="intel64"
CONFIG_ARCH_CHIP_INTEL64_QEMU=y
CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000 CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000
CONFIG_ARCH_SIZET_LONG=y CONFIG_ARCH_SIZET_LONG=y
CONFIG_ARCH_X86_64=y CONFIG_ARCH_X86_64=y
@@ -18,6 +18,7 @@ CONFIG_ARCH="x86_64"
CONFIG_ARCH_BOARD="qemu-intel64" CONFIG_ARCH_BOARD="qemu-intel64"
CONFIG_ARCH_BOARD_INTEL64_QEMU=y CONFIG_ARCH_BOARD_INTEL64_QEMU=y
CONFIG_ARCH_CHIP="intel64" CONFIG_ARCH_CHIP="intel64"
CONFIG_ARCH_CHIP_INTEL64_QEMU=y
CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000 CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000
CONFIG_ARCH_SIZET_LONG=y CONFIG_ARCH_SIZET_LONG=y
CONFIG_ARCH_X86_64=y CONFIG_ARCH_X86_64=y
@@ -18,6 +18,7 @@ CONFIG_ARCH="x86_64"
CONFIG_ARCH_BOARD="qemu-intel64" CONFIG_ARCH_BOARD="qemu-intel64"
CONFIG_ARCH_BOARD_INTEL64_QEMU=y CONFIG_ARCH_BOARD_INTEL64_QEMU=y
CONFIG_ARCH_CHIP="intel64" CONFIG_ARCH_CHIP="intel64"
CONFIG_ARCH_CHIP_INTEL64_QEMU=y
CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000 CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000
CONFIG_ARCH_SIZET_LONG=y CONFIG_ARCH_SIZET_LONG=y
CONFIG_ARCH_X86_64=y CONFIG_ARCH_X86_64=y
@@ -18,6 +18,7 @@ CONFIG_ARCH="x86_64"
CONFIG_ARCH_BOARD="qemu-intel64" CONFIG_ARCH_BOARD="qemu-intel64"
CONFIG_ARCH_BOARD_INTEL64_QEMU=y CONFIG_ARCH_BOARD_INTEL64_QEMU=y
CONFIG_ARCH_CHIP="intel64" CONFIG_ARCH_CHIP="intel64"
CONFIG_ARCH_CHIP_INTEL64_QEMU=y
CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000 CONFIG_ARCH_INTEL64_CORE_FREQ_KHZ=2600000
CONFIG_ARCH_SIZET_LONG=y CONFIG_ARCH_SIZET_LONG=y
CONFIG_ARCH_X86_64=y CONFIG_ARCH_X86_64=y