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