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