Ses réponses sur les capabilities et seL4 me paraissent assez floues..
Le problème des bugs dans le matériel concernent tout le monde, d'ailleurs il me semble avoir lu que l'IOMMU était désactivé a l'heure actuelle sous Linux car trop buggé: pas facile d'assurer une fiabilité/sécurité quelconque si un pilote de périphérique peut écrire partout dans la RAM..
# Un peu 'politique' ses réponses, non?
Posté par reno . En réponse à la dépêche Entretien avec Andrew Tanenbaum à propos de MINIX. Évalué à 6.
Ses réponses sur les capabilities et seL4 me paraissent assez floues..
Le problème des bugs dans le matériel concernent tout le monde, d'ailleurs il me semble avoir lu que l'IOMMU était désactivé a l'heure actuelle sous Linux car trop buggé: pas facile d'assurer une fiabilité/sécurité quelconque si un pilote de périphérique peut écrire partout dans la RAM..