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