incubator-nuttx/arch/x86_64/Kconfig

#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

if ARCH_X86_64
comment "x86_64 Configuration Options"

config ARCH
	string
	default "x86_64"

choice
	prompt "x86_64 arch selection"
	default ARCH_INTEL64

config ARCH_INTEL64
	bool "Intel x86_64"
	select ARCH_HAVE_MPU
	select ARCH_USE_MPU
	select ARCH_HAVE_TICKLESS
	select ARCH_HAVE_STACKCHECK
	select ARCH_HAVE_RNG
	---help---
		Intel x86_64 architecture

config ARCH_CHIP_X86_64_CUSTOM
	bool "Custom x86_64 chip"
	select ARCH_CHIP_CUSTOM
	---help---
		Select this option if there is no directory for the chip under arch/x86_64/src/.

endchoice

source "arch/x86_64/src/common/Kconfig"

if ARCH_INTEL64
source "arch/x86_64/src/intel64/Kconfig"

config ARCH_CHIP
	string
	default "intel64"

endif # ARCH_INTEL64

config ARCH_MULTIBOOT2
	bool "Append multiboot2 header"
	default y
	---help---
		Include a multiboot2 header.  This also provides information to the
		system to enable certain features like the low level framebuffer.

if ARCH_MULTIBOOT2

config MULTBOOT2_FB_TERM
	bool "Multiboot2 framebuffer terminal"
	default n
	depends on NXFONTS
    ---help---
	Enable a framebuffer terminal for early debug printing

endif # ARCH_MULTIBOOT2

endif # ARCH_X86_64