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