atstk1004_defconfig 41 Bytes
CONFIG_AVR32=y
CONFIG_TARGET_ATSTK1004=y