diff options
Diffstat (limited to 'plat/marvell/a8k/a80x0_mcbin/platform.mk')
| -rw-r--r-- | plat/marvell/a8k/a80x0_mcbin/platform.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plat/marvell/a8k/a80x0_mcbin/platform.mk b/plat/marvell/a8k/a80x0_mcbin/platform.mk index 4c0ab006..713a34be 100644 --- a/plat/marvell/a8k/a80x0_mcbin/platform.mk +++ b/plat/marvell/a8k/a80x0_mcbin/platform.mk @@ -11,6 +11,8 @@ DOIMAGE_SEC := tools/doimage/secure/sec_img_8K.cfg MARVELL_MOCHI_DRV := drivers/marvell/mochi/apn806_setup.c +BL31_LIBS := plat/marvell/common/bl31_lib/mv_lib_ext.a + include plat/marvell/a8k/common/a8k_common.mk include plat/marvell/common/marvell_common.mk |