xref: /optee_os/core/kernel/sub.mk (revision 1d85a26e18a5962e9e47aa14ce1d5b303bc17672)