2012-04-06 17:49:35 +02:00
|
|
|
#
|
|
|
|
# For a description of the syntax of this configuration file,
|
2015-06-28 16:08:57 +02:00
|
|
|
# see the file kconfig-language.txt in the NuttX tools repository.
|
2012-04-06 17:49:35 +02:00
|
|
|
#
|
2012-04-18 21:17:30 +02:00
|
|
|
|
|
|
|
if ARCH_X86
|
2012-09-09 17:43:18 +02:00
|
|
|
comment "x86 Configuration Options"
|
|
|
|
|
2012-04-18 21:17:30 +02:00
|
|
|
choice
|
|
|
|
prompt "x86 chip selection"
|
2022-06-06 17:51:48 +02:00
|
|
|
default ARCH_CHIP_QEMU_I486
|
2012-04-18 21:17:30 +02:00
|
|
|
|
2022-06-06 17:51:48 +02:00
|
|
|
config ARCH_CHIP_QEMU_I486
|
|
|
|
bool "Qemu x86 emulation"
|
|
|
|
select ARCH_I486
|
2012-04-18 21:17:30 +02:00
|
|
|
---help---
|
|
|
|
Intel i486 architecture
|
|
|
|
|
2020-10-15 05:29:59 +02:00
|
|
|
config ARCH_CHIP_X86_CUSTOM
|
|
|
|
bool "Custom x86 chip"
|
|
|
|
select ARCH_CHIP_CUSTOM
|
|
|
|
---help---
|
|
|
|
Select this option if there is no directory for the chip under arch/x86/src/.
|
|
|
|
|
2012-04-18 21:17:30 +02:00
|
|
|
endchoice
|
|
|
|
|
2022-06-06 17:51:48 +02:00
|
|
|
config ARCH_I486
|
|
|
|
bool
|
|
|
|
select ARCH_X86_HAVE_32BIT
|
2012-04-18 21:17:30 +02:00
|
|
|
---help---
|
|
|
|
Intel i486 architecture
|
|
|
|
|
|
|
|
config ARCH_CHIP
|
|
|
|
string
|
2022-06-06 17:51:48 +02:00
|
|
|
default "qemu" if ARCH_CHIP_QEMU_I486
|
2014-01-18 14:38:50 +01:00
|
|
|
|
|
|
|
config ARCH_X86_HAVE_32BIT
|
|
|
|
bool
|
|
|
|
default n
|
|
|
|
|
|
|
|
config ARCH_X86_M32
|
|
|
|
bool "Build 32-bit system with a 64-bit machine"
|
|
|
|
default n
|
|
|
|
depends on ARCH_X86_HAVE_32BIT
|
|
|
|
---help---
|
|
|
|
If you are building for a 32-bit target using a native 64-bit
|
|
|
|
toolchain, then you need to add compilation options to select the
|
|
|
|
32-bit target. Selecting this option will add the -m32 option to
|
|
|
|
the compiler command line.
|
2012-04-18 21:17:30 +02:00
|
|
|
|
2021-07-20 13:10:10 +02:00
|
|
|
source "arch/x86/src/common/Kconfig"
|
2014-01-18 14:38:50 +01:00
|
|
|
if ARCH_I486
|
2021-07-20 13:10:10 +02:00
|
|
|
source "arch/x86/src/i486/Kconfig"
|
2014-01-18 14:38:50 +01:00
|
|
|
endif # ARCH_I486
|
2022-06-06 17:51:48 +02:00
|
|
|
if ARCH_CHIP_QEMU_I486
|
2021-07-20 13:10:10 +02:00
|
|
|
source "arch/x86/src/qemu/Kconfig"
|
2022-06-06 17:51:48 +02:00
|
|
|
endif # ARCH_CHIP_QEMU_I486
|
2014-01-18 14:38:50 +01:00
|
|
|
endif # ARCH_X86
|