xref: /optee_os/core/kernel/sub.mk (revision c571b3fd4956d70c8f4435f94d64c7e36c25885d)