[GIT PULL] TEE driver infrastructure and OP-TEE drivers

[Linus Torvalds]

On Tue, May 9, 2017 at 12:05 PM, Arnd Bergmann <arnd at arndb.de> wrote:
>
> For a detailed history of the patch series, see
> https://lkml.org/lkml/2017/3/10/1277

Oh well, that wasn't very useful right now..

               Linus