[RFC PATCH 2/2] tee: add OP-TEE driver

[Arnd Bergmann]

On Sunday 19 April 2015 13:17:20 Javier González wrote:
> 
> Only providing user space support would defeat one of the main purposes
> of the driver. We could better organize the patches and divide them into user
> space support and in-kernel support if that is what you mean. In the end
> the interfaces are orthogonal, even though the functionality should be very
> similar.

Splitting up the patches to separate the user interface from the in-kernel
interface is certainly a good idea, but aside from that, I also agree with
Greg on this point: if you want to establish an in-kernel interface, don't
add any dead code at the beginning, but add it together with the users
of that interface.

	Arnd