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