GNU Mach est un projet GNU, donc fait partie de GNU.
Maintenant, pour L4, oui, il faudra dire GNU/L4Ka ou GNU/Pistachio ou GNU/Fiasco ou quelque chose du genre si on utilise une implémemtation non-GNU de L4.
Mais L4 est d'abord une série de specs (API et ABI), et il est possible de créer un GNU L4 (ce n'est pas une priorité, aucun projet n'a été lancé, mais ce n'est pas non plus impossible qu'on finisse par en avoir un).
[^] # Re: GNU, c'est toujours un peu court
Posté par Gaël Le Mignot . En réponse à la dépêche Nouvelle version des ISOs de Debian GNU et quelques infos sur le GNU Hurd. Évalué à 3.
Maintenant, pour L4, oui, il faudra dire GNU/L4Ka ou GNU/Pistachio ou GNU/Fiasco ou quelque chose du genre si on utilise une implémemtation non-GNU de L4.
Mais L4 est d'abord une série de specs (API et ABI), et il est possible de créer un GNU L4 (ce n'est pas une priorité, aucun projet n'a été lancé, mais ce n'est pas non plus impossible qu'on finisse par en avoir un).