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