if ARCH_BCM2835

config ARCH_TEXT_BASE
	hex
	default 0x04000000 if MACH_RPI

choice
	prompt "Broadcom Board type"

config MACH_RPI
	bool "RaspberryPi (BCM2835/ARM1176JZF-S)"

endchoice

endif