On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander <[email protected]> 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
