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