/plat/marvell/armada/a8k/a80x0_mcbin/
../
board
mvebu_def.h
platform.mk