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