if TARGET_T1040RDB || TARGET_T1040D4RDB || TARGET_T1042RDB config SYS_BOARD default "t104xrdb" config SYS_VENDOR default "freescale" config SYS_CONFIG_NAME default "T104xRDB" endif