original_kernel/arch/avr32/boards/atstk1000
..
Makefile
atstk1002.c
flash.c
setup.c
spi.c