Вообще linux - это ядро ОС(linux kernel)
Но в наше время linux - это семейство дистрибутивов работающих на ядре linux
Дистрибутив - это можно сказать набор програмного обеспечения
А ядро linux, так и называют linux kernel
Просмотр поста #383225: Обсуждение дистрибутивов (Общая)
Swank
Сексуальность валенка