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