Были раньше:
Debian GNU/kNetBSD
Debian GNU/kFreeBSD
Debian GNU/Hurd
Ровно по тому принципу, что не существует операционной системы #Linux, а есть лишь GNU/Linux. Вместо которого может быть и GNU/Hurd с ядром #hurd или каким-то другим.
И пользователь разницы не заметит, т.к. почти вся ОС это составляющие проекта GNU, кроме ядра.
#Android содержит ровно столько же от #Linux, сколько содержится и в GNU/Linux.
История не знает сослагательного наклонения. Однако, всё же что-то живо сейчас из этого вот семейства ОС, которые GNU, но с ядрами не-линуха?
@grumb Ну Guix, главная ОС проекта GNU, поддерживает ядро Hurd в полной мере, насколько это возможно, то есть за исключением некоторых пакетов, которые под ним не могут работать.
@grumb И кстати, Debian GNU/Hurd вроде вполне жив. Не так давно вот новость была, что в нём собираются 70% пакетов Debian:
https://www.opennet.ru/opennews/art.shtml?num=61515
