xref: /optee_os/core/kernel/sub.mk (revision 651d75378f517f798eba7a508e8b457504c0a05c)