xref: /optee_os/core/kernel/sub.mk (revision 741b437f06a298194b4a1b43b526fdd18ee7fda8)