if TARGET_BSC9131RDB

config SYS_BOARD
	default "bsc9131rdb"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "BSC9131RDB"

endif