xref: /optee_os/core/arch/arm/plat-vexpress/sub.mk (revision c7ca8db1bdc6c0e022d38eeac351fe0f15cbe909)