| 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 | |