Right, but you’re presumably not going to run Linux the desktop OS on your phone. You’re going to run a mobile OS and the Linux kernel.

His comment stands?