LinuxはOSの一種である．