xref: /optee_os/core/arch/arm/tee/sub.mk (revision 7c732ee481c684dbc9cfb923e417b61148729372)