xref: /optee_os/core/kernel/sub.mk (revision 739804b56d26d686555a2fb58acb0e7508816bfd)