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