Linux is an operating system