Un mécanisme de vérification de l'intégrité du noyau a été proposé pour Linux.
Un ensemble de correctifs incluant un mécanisme de vérification à exécution (RV - Runtime Verification) a été proposé pour l'inclusion dans le noyau Linux 5.20 (il est possible que la branche prenne le numéro 6.0). Ce mécanisme fournit des outils pour vérifier l'intégrité du fonctionnement sur des systèmes à haute fiabilité, garantissant l'absence de pannes. La vérification s'effectue à l'exécution en attachant des gestionnaires à des points de traçage, qui comparent le déroulement réel avec un modèle déterministe de référence précédemment défini, […]
