J'ai déjà répondu sur IRC, alors je synthétise pour tout le monde.
Il n'y a pas de plan immédiat pour avoir un GNU L4, pour la simple et bonne raison que L4Ka::Pistachio nous convient parfaitement dans l'état. L'équipe de développement est très sympa, très ouverte. La licence est libre, compatible avec la GPL. Le développement est actif, L4Ka::Pistachio est utilisé, a réussi à fédérer des utilisateurs.
Si un jour les développeurs du Hurd souhaitent faire des choix concernant le développement de L4 que L4Ka ne souhaite pas faire, ou que chaque équipe décide que ça a sa place plutôt dans un GNU L4 que dans l'implémentation L4Ka::Pistachio, alors peut-être y aura t'il un "fork", et comme Guillaume le faisait remarquer, ça ne pose aucun problème que le projet soit alors sous GPL.
Je rajoute que c'est un peu ce qui s'est passé avec Mach. CMU Mach n'étant plus développé, GNU Mach a été créé. La plupart des sources sont encore sous une licence de type BSD, le projet GNU Mach étant lui-même sous GPL.
Et je rajoute enfin que pas mal de projets GNU ont du code sous BSD, voire sont entièrement sous licences BSD. Ca n'est pas une licence que le projet GNU encourage dans le cas général, mais il l'accepte tout à fait, voire l'encourage dans des cas bien particuliers (comme le code dans le domaine public, d'ailleurs).
[^] # Re: Debian et L4
Posté par Manuel Menal . En réponse à la dépêche Interview de Richard Stallman sur KernelTrap. Évalué à 5.
Il n'y a pas de plan immédiat pour avoir un GNU L4, pour la simple et bonne raison que L4Ka::Pistachio nous convient parfaitement dans l'état. L'équipe de développement est très sympa, très ouverte. La licence est libre, compatible avec la GPL. Le développement est actif, L4Ka::Pistachio est utilisé, a réussi à fédérer des utilisateurs.
Si un jour les développeurs du Hurd souhaitent faire des choix concernant le développement de L4 que L4Ka ne souhaite pas faire, ou que chaque équipe décide que ça a sa place plutôt dans un GNU L4 que dans l'implémentation L4Ka::Pistachio, alors peut-être y aura t'il un "fork", et comme Guillaume le faisait remarquer, ça ne pose aucun problème que le projet soit alors sous GPL.
Je rajoute que c'est un peu ce qui s'est passé avec Mach. CMU Mach n'étant plus développé, GNU Mach a été créé. La plupart des sources sont encore sous une licence de type BSD, le projet GNU Mach étant lui-même sous GPL.
Et je rajoute enfin que pas mal de projets GNU ont du code sous BSD, voire sont entièrement sous licences BSD. Ca n'est pas une licence que le projet GNU encourage dans le cas général, mais il l'accepte tout à fait, voire l'encourage dans des cas bien particuliers (comme le code dans le domaine public, d'ailleurs).