L4Ka n'est plus hébergé sur SourceForge, ils ont leur propre CVS, disponible sur http://www.l4ka.org(...) ; L4Ka::Pistachio est sous licence BSD. (ça n'a jamais posé problème à personne, GNU Mach était sous une licence du même type ; d'ailleurs, RMS recommandait la licence BSD pour certains logiciels, comme Ogg. Il y a des chances qu'il recommande la BSD pour L4, aussi.)
Les pages L4Hurd, grâcieusement réalisées par Ian Duggan fut un temps, ne sont plus mises à jour aujourd'hui. Question code, le port L4 du Hurd a rejoint le CVS officiel, dans un module à part : hurd-l4. Vous pouvez le voir sur : http://savannah.gnu.org/cgi-bin/viewcvs/hurd/(...) ; quelques informations sur les vrais choix pris peuvent être trouvés sur http://www.8ung.at/shell/l4-port.html(...) mais ça n'a pas été mis à jour, wolfgang ayant d'autres occupations actuellement. Sinon, n'hésitez pas à demander, ou à vous dévouer pour tenir une page vous-même en suivant un peu les MLs et en demandant. ;-)
[^] # Re: l4 sous GPL
Posté par Manuel Menal . En réponse à la dépêche Nouvelle version des ISOs de Debian GNU et quelques infos sur le GNU Hurd. Évalué à 2.
L4Ka n'est plus hébergé sur SourceForge, ils ont leur propre CVS, disponible sur http://www.l4ka.org(...) ; L4Ka::Pistachio est sous licence BSD. (ça n'a jamais posé problème à personne, GNU Mach était sous une licence du même type ; d'ailleurs, RMS recommandait la licence BSD pour certains logiciels, comme Ogg. Il y a des chances qu'il recommande la BSD pour L4, aussi.)
Les pages L4Hurd, grâcieusement réalisées par Ian Duggan fut un temps, ne sont plus mises à jour aujourd'hui. Question code, le port L4 du Hurd a rejoint le CVS officiel, dans un module à part : hurd-l4. Vous pouvez le voir sur : http://savannah.gnu.org/cgi-bin/viewcvs/hurd/(...) ; quelques informations sur les vrais choix pris peuvent être trouvés sur http://www.8ung.at/shell/l4-port.html(...) mais ça n'a pas été mis à jour, wolfgang ayant d'autres occupations actuellement. Sinon, n'hésitez pas à demander, ou à vous dévouer pour tenir une page vous-même en suivant un peu les MLs et en demandant. ;-)