acrn-kernel/arch/avr32/boards/favr-32
..
Kconfig
Makefile
flash.c
setup.c