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