Linux is my operating system of choice, though strictly speaking, Linux is not an operating system, some will tell you. It’s a kernel. GNU/Linux is the operating system. At any rate, this part of the site holds information related to it.