Re: OP-TEE development