Linux is a type of operating system.