[lkml]   [2018]   [Mar]   [7]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [GIT PULL] tee driver misc for v4.17
On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander
<> 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!


 \ /
  Last update: 2018-03-07 16:55    [W:0.033 / U:0.020 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site