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