Yes, Linux is a big deal and it's widely used, especially in a couple of extremely specific niches. Linux-based operating systems, however, and the …