xref: /optee_os/core/kernel/sub.mk (revision 1dd81b50ad494d1eb5d1a30f3d193fb0a9e1f302)