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
