L4
De HurdFr_Wiki.
L4 est un micronoyau de seconde génération conçu et implémenté par Jochen Liedtke. Le hurd est entrain d'être porté sur celui-ci car il est plus léger et promet de meilleures performances que son prédécesseur Gnu/Mach. L4 relègue notamment toute la gestion de la mémoire virtuelle (partiellement fournie par Mach) et les pilotes de périphériques à l'espace utilisateur.
Il existe plusieurs implémentations du micronoyau L4 : Fiasco, L4Ka::Pistachio microkernel, P4, L4 for PowerPC, L4Ka::Hazelnut, L4/MIPS, L4/Alpha, L4/x86. Celle utilisée pour le Hurd est Pistachio.
