Re: [Tee-dev] Newbie questions about OP-TEE