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