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