xref: /optee_os/core/arch/arm/tee/sub.mk (revision 088116c9c21911f98b1a9ef9bc2f5e16ee59a4ce)