Par contre, il y a qq chose qui me "derange" un peu dans ce port.
La version du micro-noyau L4 utilise est L4Ka::Pistachio qui est distibue sous license BSD ... il y n'a pas de probleme juridique mais un probleme de coherence avec la licence du systeme GNU, la GPL, et les propos de RMS. La licence BSD etant trop permissive a son avis.
Je trouve cela dommage sans pour autant etre choque.
Peut-etre qu'il y aura un GNU L4 comme il y a un GNU Mach ?
En tout cas, je trouve ce port super intertessant ... j'ai hate de voir des resultats !
RMS est peu etre un extremiste mais moi, je suis fan !
[^] # Re: Debian et L4
Posté par GaGadget . En réponse à la dépêche Interview de Richard Stallman sur KernelTrap. Évalué à 1.
La version du micro-noyau L4 utilise est L4Ka::Pistachio qui est distibue sous license BSD ... il y n'a pas de probleme juridique mais un probleme de coherence avec la licence du systeme GNU, la GPL, et les propos de RMS. La licence BSD etant trop permissive a son avis.
Je trouve cela dommage sans pour autant etre choque.
Peut-etre qu'il y aura un GNU L4 comme il y a un GNU Mach ?
En tout cas, je trouve ce port super intertessant ... j'ai hate de voir des resultats !
RMS est peu etre un extremiste mais moi, je suis fan !