xref: /optee_os/core/kernel/sub.mk (revision 2828809ee87773e817c3ca071330131ae9ce66a7)