linux-stable-rt/arch/avr32/boards/atstk1000
..
Kconfig
Makefile
atstk1000.h
atstk1002.c
flash.c
setup.c