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