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