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