xref: /optee_os/core/arch/arm/plat-k3/drivers/sub.mk (revision d720577092e0f27ea88d95f58ec9affcfbd26c60)