There is also QCOM-TEE Library. It provides an interface for communication to the Qualcomm® Trusted Execution Environment (QTEE) via the QCOM-TEE driver registered with the Linux TEE subsystem. Does this fit your use-case?
It's available on GitHub here: https://github.com/quic/quic-teec