board/raspberrypi/rpi_b/Kconfig

   1 if TARGET_RPI_B
   2
   3 config SYS_BOARD
   4         default "rpi_b"
   5
   6 config SYS_VENDOR
   7         default "raspberrypi"
   8
   9 config SYS_SOC
  10         default "bcm2835"
  11
  12 config SYS_CONFIG_NAME
  13         default "rpi_b"
  14
  15 endif