L4
Un article de Wikipédia, l'encyclopédie libre.
L4 est un micronoyau de seconde génération conçu et implémenté par Jochen Liedtke.
Sommaire |
[modifier] Famille du micronoyau L4
Il existe plusieurs implémentations du micronoyau L4 : Fiasco, L4Ka::Pistachio microkernel, P4, L4 for PowerPC, L4Ka::Hazelnut, L4/MIPS, L4/Alpha, L4/x86.
[modifier] Fiasco
Fiasco est un micronoyau fonctionnant sur les architectures de type x86. Il sert de base au projet DROPS (Dresden Real-Time Operating System Project). Il est est distribué sous licence GNU GPL ou commerciale.
Les différentes versions sont :
- 1.2, sortie le 26 septembre 2005.
- 1.1, sortie le 11 novembre 2003.
- 1.0, sortie la 2 avril 2003.
[modifier] L4Ka::Pistachio
Pistachio est développé par l'équipe System Architecture Group de l'Université de Karlsruhe (Allemagne) en collaboration avec le DiSy group de l'Université de New South Wales (Australie). Il est distribué sous licence BSD.
Il a été porté sur les architectures suivantes : Alpha (21164, 21264), AMD64 (Opteron 242, Simics), ARM (SA1100, XScale, ARM925T), IA32 (Pentium et plus), IA64 (Itanium1, Itanium2, Ski), MIPS 64bit (R4000, R5000), PowerPC 32bit (IBM 750), PowerPC 64bit (Power3, Power4). Il propose un support multiprocesseur.
La dernière version, la 0.4 est sortie le 4 juin 2004.
[modifier] Projets utilisant L4
- DROPS (Dresden Real-Time Operating System Project), basé sur le micronoyau Fiasco.
- L4Linux, port du noyau Linux sur L4Ka et Fiasco.
- Port du Hurd sur L4Ka::Pistachio : L'objectif de ce projet est de remplacer le micronoyau sur lequel fonctionne le Hurd. Actuellement, celui-ci tourne sur une version GNU de Mach. Ce projet est encore au stade expérimental.
[modifier] Liens externes
Portail de l'informatique – Accédez aux articles de Wikipédia concernant l’informatique. |