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