gnu/linux - это ос, linux - ядро
Ой, эти все холивары которые развязал Столлман, ради удовлетворения своего ЧСВ. Где-то же были ответы Торвальдса, что он занимается ОС, а не политикой. Так что редко где в различной документации наименование именно ОС я встречал как gnu/linux.