xref: /optee_os/core/kernel/sub.mk (revision 7a6682fcfb9e5fee7c7ba6c7186df5baa2347a07)