Re: [Tee-dev] [PATCH v2] tee: add user space interface

Hi Javier,

On Mon, Mar 16, 2015 at 01:11:15PM +0100, Javier González wrote:

Hi Pascal, Thanks for the explanation. I was not aware of this. Now it makes much more sense. Agree then that we should change the name when we merge everything. Best, Javier

Could you please update the master branch so it is up to date with Linus branch? I.e: https://github.com/torvalds/linux