What is Linux? What you need to know about distros, kernels, and more