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

if ARCH_CHIP_FVP_ARMV8R

menu "FVP ARMv8-R Virt Chip Selection"

choice
	prompt "FVP Core Configuration"
	default ARCH_CHIP_FVP_R82

config ARCH_CHIP_FVP_R82
	bool "FVP virtual Processor (Cortex-r82)"
	select ARCH_HAVE_MULTICPU
	select ARMV8R_HAVE_GICv3
	select ARCH_EARLY_PRINT
	select ARCH_SET_VMPIDR_EL2

endchoice # FVP Chip Selection

endmenu # "FVP Chip Selection"

menu "FVP Peripheral Selection"
config FVP_UART_PL011
	bool "UART"
	default n
	select UART1_SERIALDRIVER
endmenu # FVP Peripheral Selection

endif # ARCH_CHIP_FVP_ARMV8R
