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