xref: /optee_os/core/sub.mk (revision 3638ea32b015e5bc5c87d0d08d9e75eb77880f73)