CONFIG_AVR32=y
CONFIG_TARGET_ATSTK1006=y