/kernel/arch/avr32/boards/favr-32/

• ../
• Kconfig
• Makefile
• flash.c
• setup.c