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