Re: [Tee-dev] [PATCH] tee: add user space interface