xref: /optee_os/core/kernel/sub.mk (revision 4aeff29736f99c9bb11e00ae7f93c3ce41b9d092)