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