Although it runs most big corporate and Internet servers and is the basis for Android, the world's most popular mobile operating system, Linux has …