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