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