if TARGET_RPI_B config SYS_CPU string default "arm1176" config SYS_BOARD string default "rpi_b" config SYS_VENDOR string default "raspberrypi" config SYS_SOC string default "bcm2835" config SYS_CONFIG_NAME string default "rpi_b" endif