On Fri,  7 Jun 2019 13:07:29 +0200
Geert Uytterhoeven <[email protected]> wrote:

> Signed-off-by: Geert Uytterhoeven <[email protected]>
> ---
>  Documentation/tee.txt | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/Documentation/tee.txt b/Documentation/tee.txt
> index 56ea85ffebf24545..afacdf2fd1de5455 100644
> --- a/Documentation/tee.txt
> +++ b/Documentation/tee.txt
> @@ -32,7 +32,7 @@ User space (the client) connects to the driver by opening 
> /dev/tee[0-9]* or
>    memory.
>  
>  - TEE_IOC_VERSION lets user space know which TEE this driver handles and
> -  the its capabilities.
> +  its capabilities.
>  
>  - TEE_IOC_OPEN_SESSION opens a new session to a Trusted Application.

Applied, thanks.

jon

Reply via email to