xref: /optee_os/core/kernel/sub.mk (revision 6915bbbb5b56e147ee652b98f6172f4dfbb325b9)