CONFIG_AVR32=y
CONFIG_TARGET_ATSTK1002=y