Moui enfin des excuses pour quoi exactement?
Quand Windows a conquis le monde, c'était un système tout pourri par rapport à Unix, donc même si les micro-noyaux ont des avantages techniques réels ce n'est pas évident que ce soit suffisant pour remplacer l'existant..
MINIX ce n'est pas les micro-noyaux, il y a L4, Mach, QNX sont des exemples de micro-noyaux ayant un succès commercial..
seL4 a été "vérifié" ce que ne sera jamais Linux, je ne dis pas que c'est la panacée mais s'il est utilisé ce sera intéressant de voir si cela se traduit par un bénéfice en pratique.
[^] # Re: Avis de Linus Torvalds sur les micro-noyaux
Posté par reno . En réponse à la dépêche Entretien avec Andrew Tanenbaum à propos de MINIX. Évalué à 3.
Moui enfin des excuses pour quoi exactement?
Quand Windows a conquis le monde, c'était un système tout pourri par rapport à Unix, donc même si les micro-noyaux ont des avantages techniques réels ce n'est pas évident que ce soit suffisant pour remplacer l'existant..
MINIX ce n'est pas les micro-noyaux, il y a L4, Mach, QNX sont des exemples de micro-noyaux ayant un succès commercial..
seL4 a été "vérifié" ce que ne sera jamais Linux, je ne dis pas que c'est la panacée mais s'il est utilisé ce sera intéressant de voir si cela se traduit par un bénéfice en pratique.