xref: /optee_os/core/kernel/sub.mk (revision 35619cf07e66f2d667c114d57ea19afdc1ad839a)