CONFIG_AVR32=y
CONFIG_TARGET_HAMMERHEAD=y