Linux is an operating system.