[pjmlp]

And the thing with ChromeOS and Android, is that having Linux as a kernel, it is just an implementation detail.

Given their managed userspace, Google can switch to something else and only OEMs would notice.