Re: [GIT PULL] tee driver misc for v4.17

[Arnd Bergmann]

On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander
<jens.wiklander@xxxxxxxxxx> wrote:
> Small fix and report OP-TEE revision information
>
> * Adds one small fix correct max value of privileged device id allocation,
>   this is only needed if there's more than TEE_NUM_DEVICES / 2 (16) tee
>   drivers registered. One or two is a normal value.
> * Reports OP-TEE revision information (major, minro version and build id
>   if available)

Pulled into next/drivers, thanks!

        Arnd