xref: /optee_os/core/kernel/sub.mk (revision 9e42008d9512dda216db2235576b8956e95c408c)