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