/plat/marvell/armada/a3k/a3700/
../
board
mvebu_def.h
plat_bl31_setup.c
platform.mk