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