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