if TARGET_ATSTK1002 config SYS_BOARD default "atstk1000" config SYS_VENDOR default "atmel" config SYS_SOC default "at32ap700x" config SYS_CONFIG_NAME default "atstk1002" endif