A TEE isn’t necessarily tied to any specific vendor, it’s a design scheme implemented by many different vendors in different ways. What you’re referring to is Intel SGX. There are open-source TEE implementations for e.g. ARM like OP-TEE.