xref: /optee_os/core/kernel/sub.mk (revision 769488761879119d186e0463d1ccc031c9a83636)