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