if ARCH_DAVINCI
config ARCH_TEXT_BASE
hex
default 0x82000000
config ARCH_DAVINCI_DM644x
bool
choice
prompt "Davinci Board type"
config MACH_VIRT2REAL
bool "Virt2Real"
endchoice
endif