Linux is a tried-and-true, open-source operating system released in 1991 for computers, but its use has expanded to underpin systems for cars, phones, web servers and, more recently, networking gear.

There has been a lot of talk lately about search engines like Google launching their own branded operating system. While such a system doesn’t necessarily correspond with Google’s vision of making the ...