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