Re: [Tee-dev] Questions about OP-TEE and Raspberry Pi 3