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