diff options
Diffstat (limited to 'plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c')
-rw-r--r-- | plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c b/plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c index 384d0f54b..fa4e144c9 100644 --- a/plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c +++ b/plat/marvell/a8k/a80x0_mcbin/board/marvell_plat_config.c @@ -5,9 +5,10 @@ * https://spdx.org/licenses */ +#include <drivers/delay_timer.h> +#include <lib/mmio.h> + #include <armada_common.h> -#include <delay_timer.h> -#include <mmio.h> /* * If bootrom is currently at BLE there's no need to include the memory |