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