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