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