Re: [Tee-dev] OPtee Porting.