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