RE: [EXTERNAL] Re: Linux user-level implementation of OP-TEE