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