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

if ARCH_CHIP_VDK

menu "VDK Virt Chip Selection"

choice
	prompt "VDK Core Configuration"
	default ARCH_CHIP_VDK_R82

config ARCH_CHIP_VDK_R82
	bool "VDK virtual Processor (cortex-r82)"
	select ARCH_HAVE_MULTICPU
	select ARCH_SET_VMPIDR_EL2

endchoice # VDK Chip Selection

endmenu # "VDK Chip Selection"

endif # ARCH_CHIP_VDK