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