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