# SPDX-License-Identifier: GPL-2.0-only

if ARCH_DAVINCI

config ARCH_TEXT_BASE
	hex
	default 0x82000000

choice
	prompt "Davinci Board type"

config MACH_VIRT2REAL
	bool "Virt2Real"
	select OFTREE
	select OFDEVICE

endchoice

endif