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