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