xref: /optee_os/core/arch/arm/plat-marvell/sub.mk (revision 424cb3863ab707e652dc5c2f54c1d78686c45fa2)