if TARGET_T4160RDB || TARGET_T4240RDB config SYS_BOARD default "t4rdb" config SYS_VENDOR default "freescale" config SYS_CONFIG_NAME default "T4240RDB" endif
