[GIT PULL] tee driver misc for v4.17

From: Jens Wiklander
Date: Tue Mar 06 2018 - 06:22:31 EST


Hello arm-soc maintainers,

Please pull these tee driver changes. This fixes a a problem with
determining the max device id value for the privileged device. This is
only a problem if there's more than 16 tee devices registered. There's
also added support to report OP-TEE revision information.

The bugfix isn't urgent so I'm aiming for the next merge window.

Thanks,
Jens

The following changes since commit 661e50bc853209e41a5c14a290ca4decc43cbfd1:

Linux 4.16-rc4 (2018-03-04 14:54:11 -0800)

are available in the git repository at:

https://git.linaro.org:/people/jens.wiklander/linux-tee.git
tags/tee-drv-misc-for-v4.17

for you to fetch changes up to 5c5f80307ab27c53b56569245a0b12f4e3b577de:

tee: optee: report OP-TEE revision information (2018-03-06 11:03:55 +0100)

----------------------------------------------------------------
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)

----------------------------------------------------------------
JÃrÃme Forissier (2):
tee: optee: GET_OS_REVISION: document a2 as a build identifier
tee: optee: report OP-TEE revision information

Peng Fan (1):
tee: correct max value for id allocation

drivers/tee/optee/core.c | 23 +++++++++++++++++++++++
drivers/tee/optee/optee_smc.h | 10 +++++++++-
drivers/tee/tee_core.c | 14 +++++++++-----
3 files changed, 41 insertions(+), 6 deletions(-)