ок. однако я имею в виду не Linux в целом, а ее дистрибутивы. Судя по формулировкам, им отводится роль разновидностей Linux. формально это так, если исходить их того, что операционная система - это исключительно ядро. с другой стороны, разработчики дистрибутивов патчат исходное ядро. кроме того, каждый дистрибутив имеет собственное системное окружение. поэтому, думаю, смело можно говорить об операционных системах Ubuntu, Mandriva и т.д.