xref: /optee_os/core/sub.mk (revision 9faf0da7b8543690df88623c30a8130234c25bc4)