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