xref: /optee_os/core/kernel/sub.mk (revision 78155888b8f44478dd78b9af2f1e0eb255e7dfb4)