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