/plat/marvell/a8k/common/aarch64/
../
a8k_common.c
plat_arch_config.c
plat_helpers.S