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