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