if TARGET_T1042D4RDB config SYS_BOARD default "t104xrdb" config SYS_VENDOR default "freescale" config SYS_CONFIG_NAME default "T104xRDB" endif