1if TARGET_T1040RDB || TARGET_T1040D4RDB || \
2	TARGET_T1042RDB || TARGET_T1042D4RDB || \
3	TARGET_T1042RDB_PI
4
5config SYS_BOARD
6	default "t104xrdb"
7
8config SYS_VENDOR
9	default "freescale"
10
11config SYS_CONFIG_NAME
12	default "T104xRDB"
13
14source "board/freescale/common/Kconfig"
15
16endif
17