original_kernel/arch/avr32/boards/atstk1000
..
Kconfig
Makefile
atstk1000.h
atstk1002.c
atstk1003.c
atstk1004.c
flash.c
setup.c