xref: /optee_os/core/tee/sub.mk (revision b7fc217f89f44b14b9c8fc6e63dd8d58b48a0f77)