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