|
if ARCH_BCM2835
|
|
|
|
config ARCH_TEXT_BASE
|
|
hex
|
|
default 0x04000000 if MACH_RPI
|
|
|
|
config BOARDINFO
|
|
default "RaspberryPi (BCM2835/ARM1176JZF-S)" if MACH_RPI
|
|
|
|
choice
|
|
prompt "Broadcom Board type"
|
|
|
|
config MACH_RPI
|
|
bool "RaspberryPi (BCM2835/ARM1176JZF-S)"
|
|
|
|
endchoice
|
|
|
|
endif
|