board/freescale/bsc9131rdb/Kconfig

   1 if TARGET_BSC9131RDB
   2
   3 config SYS_BOARD
   4         default "bsc9131rdb"
   5
   6 config SYS_VENDOR
   7         default "freescale"
   8
   9 config SYS_CONFIG_NAME
  10         default "BSC9131RDB"
  11
  12 endif