if TARGET_SIMC_T10XX config SYS_BOARD string default "simc-t10xx" config SYS_VENDOR string default "scalys" config SYS_CONFIG_NAME string default "simc-t10xx" endif