Re: [Tee-dev] OP-TEE 3.4.0-rc1