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