Linux user-level implementation of OP-TEE