On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander
<jens.wiklan...@linaro.org> 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!


Reply via email to