if TARGET_SAMA5D2_PTC_EK config SYS_BOARD default "sama5d2_ptc_ek" config SYS_VENDOR default "atmel" config SYS_SOC default "at91" config SYS_CONFIG_NAME default "sama5d2_ptc_ek" endif