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