if ARCH_HIGHBANK

config ARCH_TEXT_BASE
	hex
	default 0x03f00000

config BOARDINFO
	default "Calxeda Highbank" if MACH_HIGHBANK

choice
	prompt "Calxeda Board type"

config MACH_HIGHBANK
	bool "Calxeda Highbank"

endchoice

endif