Re: [GIT PULL] tee driver for v4.18

On Mon, Jul 2, 2018 at 7:18 PM, Olof Johansson wrote: > Hi Jens, > > > On Mon, Jul 2, 2018 at 5:10 AM, Jens Wiklander > wrote: >> Hello arm-soc maintainers, >> >> Please pull these small tee driver enhancements. There's a new config >> option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also

Re: [GIT PULL] tee driver for v4.18

On Mon, Jul 2, 2018 at 7:18 PM, Olof Johansson wrote: > Hi Jens, > > > On Mon, Jul 2, 2018 at 5:10 AM, Jens Wiklander > wrote: >> Hello arm-soc maintainers, >> >> Please pull these small tee driver enhancements. There's a new config >> option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also

Re: [GIT PULL] tee driver for v4.18

Hi Jens, On Mon, Jul 2, 2018 at 5:10 AM, Jens Wiklander wrote: > Hello arm-soc maintainers, > > Please pull these small tee driver enhancements. There's a new config > option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also the OP-TEE > driver reads current time with ktime_get_real_ts64()

Re: [GIT PULL] tee driver for v4.18

Hi Jens, On Mon, Jul 2, 2018 at 5:10 AM, Jens Wiklander wrote: > Hello arm-soc maintainers, > > Please pull these small tee driver enhancements. There's a new config > option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also the OP-TEE > driver reads current time with ktime_get_real_ts64()

[GIT PULL] tee driver for v4.18

Hello arm-soc maintainers, Please pull these small tee driver enhancements. There's a new config option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also the OP-TEE driver reads current time with ktime_get_real_ts64() from now on. Thanks, Jens The following changes since commit

[GIT PULL] tee driver for v4.18

Hello arm-soc maintainers, Please pull these small tee driver enhancements. There's a new config option for the OP-TEE driver, OPTEE_SHM_NUM_PRIV_PAGES. Also the OP-TEE driver reads current time with ktime_get_real_ts64() from now on. Thanks, Jens The following changes since commit