[Tee-dev] [PATCH v4 1/3] tee: add user space interface