if TARGET_RPI
config SYS_BOARD
default "rpi"
config SYS_VENDOR
default "raspberrypi"
config SYS_SOC
default "bcm2835"
config SYS_CONFIG_NAME
endif