if ARCH_DAVINCI

config ARCH_TEXT_BASE
	hex
	default 0x82000000

choice
	prompt "Davinci Board type"

config MACH_VIRT2REAL
	bool "Virt2Real"

endchoice

endif