acrn-kernel/arch/avr32/boards/atngw100
..
Kconfig
Kconfig_mrmt
Makefile
evklcd10x.c
flash.c
mrmt.c
setup.c