The world’s most popular operating system you’ve probably never heard of

You’ve probably heard of Microsoft’s Windows or Apple’s OS X. But if you’ve ever used Google, an Android phone or tablet, or Facebook, you’ve also used the world’s most popular operating system: Linux.