xref: /optee_os/core/kernel/sub.mk (revision 73dc728d3d9afd9ca2869f14ce69ebc5a19809da)