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