acrn-kernel/arch/avr32/configs
..
atngw100_defconfig
atstk1002_defconfig