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