[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CAK8P3a3aHbXOB+pHRi44D7e=Gc1yX_Dtb_LvYguJhinRa+vG+Q@mail.gmail.com>
Date: Wed, 7 Mar 2018 16:51:36 +0100
From: Arnd Bergmann <arnd@...db.de>
To: Jens Wiklander <jens.wiklander@...aro.org>
Cc: arm-soc <arm@...nel.org>,
Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
Linux ARM <linux-arm-kernel@...ts.infradead.org>
Subject: Re: [GIT PULL] tee driver misc for v4.17
On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander
<jens.wiklander@...aro.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!
Arnd
Powered by blists - more mailing lists