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