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