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