Their business isn’t to make an operating system better than linux.