Re: Avis de Linus Torvalds sur les micro-noyaux

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.

Ça pourrait être intéressant si le code source de la vérification était disponible... ce qui n'est pas le cas.