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