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