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