Pistachio
De HurdFr_Wiki.
L4Ka::Pistachio est le dernier micro-noyau L4 développé par System Architecture Group à l'université de Karlsruhe en collaboration avec le groupe DiSy à l'université du New South Wales en Australie. C'est la première implémentation valable de L4 (version 4 kernel API ou X.2). Elle est entièrement compatible 32 et 64 bits, offre un support multiprocesseur et un système IPC ultra rapide.
La version courrante de Pistachio est la 0.4. Les sources sont livrés sous licence BSD.
Cette version est celle qui a été choisie pour remplacer le micro-noyau Mach. Les développeurs du Hurd ont choisi cette implémentation car le projet L4ka est un projet actif avec une équipe ouverte qui n'a pas hésité à accueillir Neal Walfield pendant un été entier pour travailler et réflechir sur les possibilité du Hurd/L4. De plus les sources de Pistachio sont sous licence libre (BSD). Enfin, personne ne se plaint pour l'instant de ce choix, mais vous pouvez très bien le faire sur la mailing list du Hurd.
