Linux is a kind of operating system.