xref: /optee_os/core/kernel/sub.mk (revision 5118efbe82358fd69fda6e0158a30e59f59ba09d)