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