/plat/marvell/armada/a8k/a80x0/

• ../
• board
• mvebu_def.h
• platform.mk