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;
Date:   Fri, 3 Jan 2020 10:00:26 +0100
From:   Jens Wiklander <jens.wiklander@linaro.org>
To:     arm@kernel.org, soc@kernel.org
Cc:     Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
        Linux ARM <linux-arm-kernel@lists.infradead.org>,
        tee-dev@lists.linaro.org
Subject: [GIT PULL] optee platform driver for v5.6
Message-ID: <20200103090025.GA11243@jax>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: Mutt/1.9.4 (2018-02-28)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

Hello arm-soc maintainers,

Please pull this OP-TEE driver update where the driver is modeled as a
platform driver instead.

Thanks,
Jens

The following changes since commit d1eef1c619749b2a57e514a3fa67d9a516ffa919:

  Linux 5.5-rc2 (2019-12-15 15:16:08 -0800)

are available in the Git repository at:

  git://git.linaro.org:/people/jens.wiklander/linux-tee.git tags/tee-optee-pldrv-for-5.6

for you to fetch changes up to f349710e413ad29132373e170c87dd35f2b62069:

  optee: model OP-TEE as a platform device/driver (2020-01-03 09:26:40 +0100)

----------------------------------------------------------------
Model OP-TEE as a platform device/driver

----------------------------------------------------------------
Ard Biesheuvel (1):
      optee: model OP-TEE as a platform device/driver

 drivers/tee/optee/core.c | 153 ++++++++++++++++++++---------------------------
 1 file changed, 64 insertions(+), 89 deletions(-)