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