Re: [Tee-dev] 64-bit TEE