kernel-ark/arch/avr32/configs
..
atngw100_defconfig
atstk1002_defconfig
atstk1003_defconfig
atstk1004_defconfig