if TARGET_T1040RDB || TARGET_T1040D4RDB || \
	TARGET_T1042RDB || TARGET_T1042D4RDB || \
	TARGET_T1042RDB_PI

config SYS_BOARD
	default "t104xrdb"

config SYS_VENDOR
	default "freescale"

config SYS_CONFIG_NAME
	default "T104xRDB"

source "board/freescale/common/Kconfig"

endif