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