Eviter les branches indirectes spéculatives dans le noyau
Exige que le noyau soit compilé avec CONFIG_RETPOLINE=y afin que les branches indirectes utilisent des thunks retpoline atténuant Spectre v2.
Vérifié sur l’état résolu en cours d’exécution (ex. sshd -T, sysctl, systemctl show), attrape les drop-ins et Include qu’une lecture de fichier raterait. Réserve : runtime ≠ persistance ; une valeur correcte maintenant peut ne pas survivre à un redémarrage.
Pavois vérifie la configuration effective, l’état résolu et réellement appliqué, pas un fichier. Les scanners basés fichier (OVAL/SCAP, Lynis) ratent les Include, drop-ins et défauts runtime ; ce check voit ce qui est réellement en vigueur.
Un mapping est une référence croisée vers l’endroit où chaque norme situe cette exigence, ancrée et recoupée, pas une affirmation d’équivalence. Un check réussi est une preuve vers ces références, comment le lire.
Pourquoi cette règle
Ceci est requis pour activer la protection contre Spectre v2 (injection de cible de branchement, CVE-2017-5715). CONFIG_RETPOLINE compile le noyau avec des thunks retpoline qui remplacent les branches indirectes vulnérables par une construction que le CPU ne peut pas mal-spéculer, privant l'attaquant de la possibilité d'orienter l'exécution spéculative vers un gadget et de lire la mémoire du noyau (mots de passe, clés) au-delà des frontières de privilèges.
Ce que vérifie Pavois
Pavois lit les options de compilation du noyau en cours d'exécution, grep '^CONFIG_RETPOLINE=' /boot/config-$(uname -r) ou zcat /proc/config.gz, et exige y. Lire la configuration du noyau réellement démarré (indexée sur uname -r) reflète exactement le noyau démarré, y compris les compilations éditeur, ce qu'une supposition de nom de paquet ou un fichier générique ne peut faire.
describe command("C=/boot/config-$(uname -r); if [ -r \"$C\" ]; then cat \"$C\"; elif zcat /proc/config.gz 2>/dev/null | head -1 | grep -q .; then zcat /proc/config.gz; else echo PAVOIS_NO_KERNEL_CONFIG; fi | grep -E '^(CONFIG_RETPOLINE=|PAVOIS_NO_KERNEL_CONFIG)'") do
its('stdout') { should_not match(/PAVOIS_NO_KERNEL_CONFIG/) }
its('stdout') { should match(/^CONFIG_RETPOLINE=y$/) }
endComment vérifier qu’elle est appliquée
Exécutez grep '^CONFIG_RETPOLINE=' /boot/config-$(uname -r) (ou zcat /proc/config.gz | grep CONFIG_RETPOLINE). Sortie attendue :
CONFIG_RETPOLINE=y
Confirmez l'état de l'atténuation en direct avec cat /sys/devices/system/cpu/vulnerabilities/spectre_v2, il doit mentionner Retpolines et non Vulnerable.
Inspecter et investiguer
Aucune entrée de journal courante. L'atténuation à l'exécution est annoncée au démarrage dans dmesg / journalctl -k (lignes mentionnant Spectre V2 : Mitigation: Retpolines). L'option de compilation se confirme avec grep CONFIG_RETPOLINE /boot/config-$(uname -r) et l'état en direct avec /sys/devices/system/cpu/vulnerabilities/spectre_v2.
Remédiation
Il s'agit d'une option de compilation du noyau, Pavois ne fournit donc aucune étape de durcissement automatique. Elle est satisfaite en démarrant un noyau de distribution compilé avec CONFIG_RETPOLINE=y (le cas de tous les noyaux Debian/Ubuntu/RHEL actuels). Assurez-vous que la ligne de démarrage ne force pas spectre_v2=off ou nospectre_v2 ; un noyau personnalisé doit être recompilé.
Pavois applique ceci avec son propre moteur harden, le plan ci-dessous, pas un script shell :
| resource | kernel_build |
|---|
pavois harden plan localoù la cible est local, un alias SSH user@hôte, ou un conteneur , Docs
Impact & précautions
En son absence, l'hôte est exposé à la divulgation de mémoire inter-privilèges Spectre v2. Précautions : retpoline (et l'usage associé d'IBRS/IBPB) entraîne un coût de performance CPU modéré sur les charges riches en branchements ; c'est le compromis accepté pour l'atténuation. Ne le désactivez pas avec spectre_v2=off sur des systèmes partagés ou multi-locataires. L'activer nécessite seulement de démarrer un noyau conforme, testez un redémarrage sur un hôte hors production si vous modifiez aussi le microcode.
Mapping des normes
| Norme | Référence | Type | Version | Confiance |
|---|---|---|---|---|
| ANSSI BP-028 | R15 | direct | 2.0 | haute |
Chaque référence est une référence croisée ancrée dans le benchmark amont et recoupée avec le SCAP Security Guide et ansible-lockdown, pas une affirmation d’équivalence. Direct = une exigence prescriptive au niveau de la ligne ; support = une famille de contrôle abstraite (NIST) vers laquelle le check apporte une preuve. Comment lire un mapping.