board/freescale/t4rdb/Kconfig - uboot-imx - Git at Google

 if TARGET_T4240RDB

 config SYS_BOARD
 	string
 	default "t4rdb"

 config SYS_VENDOR
 	string
 	default "freescale"

 config SYS_CONFIG_NAME
 	string
 	default "T4240RDB"

 endif
	if TARGET_T4240RDB

	config SYS_BOARD
	string
	default "t4rdb"

	config SYS_VENDOR
	string
	default "freescale"

	config SYS_CONFIG_NAME
	string
	default "T4240RDB"

	endif