xref: /optee_os/core/kernel/sub.mk (revision 50814cf61d84595974771832c41618c5c7cd3131)