[Tee-dev] OPtee Porting.