xref: /optee_os/core/sub.mk (revision e38a9abe32704c2a4e6003885cf91de83595529c)