Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
MIME-Version: 1.0
In-Reply-To: <CAHUa44HqoQ2yxBzJsQQxb35h=S4suDB7qpoQXwsBhx_OXHyBMw@mail.gmail.com>
References: <CAHUa44HqoQ2yxBzJsQQxb35h=S4suDB7qpoQXwsBhx_OXHyBMw@mail.gmail.com>
From:   Arnd Bergmann <arnd@arndb.de>
Date:   Wed, 7 Mar 2018 16:51:36 +0100
Message-ID: <CAK8P3a3aHbXOB+pHRi44D7e=Gc1yX_Dtb_LvYguJhinRa+vG+Q@mail.gmail.com>
Subject: Re: [GIT PULL] tee driver misc for v4.17
To:     Jens Wiklander <jens.wiklander@linaro.org>
Cc:     arm-soc <arm@kernel.org>,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
        Linux ARM <linux-arm-kernel@lists.infradead.org>
Content-Type: text/plain; charset="UTF-8"
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Tue, Mar 6, 2018 at 12:22 PM, Jens Wiklander
<jens.wiklander@linaro.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