Le 24/05/2018 à 15:17, Pascal Hambourg a écrit :Je n'ai pas fait attention, c'est malheureusement le comportement par défaut de Roundcube pour répondre à une liste.
Inutile de me mettre en copie, je lis la liste.
Tu parles d'ABI interne ou externe ? Mon impression est qu'à chaque fois que le noyau est recompilé il faut aussi recompiler les modules, donc avoir une ABI interne stable me semble difficile. Pourquoi cette situation exceptionnelle ?
Généralement une mise à jour du noyau Debian stable est une mise à jour du paquet linux courant, pas un nouveau paquet. Les exceptions sont une mise à niveau de la distribution et un changement d'ABI. La situation actuelle où il y a eu plusieurs changements d'ABI en peu de temps est exceptionnelle.
Mettre à jour le paquet pour le noyau est risqué, car il faut être sûr que les nouveaux modules peuvent être chargé par le noyau courant, et je ne suis pas sûr qu'il soit possible de le garantir.Bien sûr, mais les modules dans /lib peuvent aussi être fournis par d'autres paquets (pilotes divers) et même
Le modules font partie du noyau, ce qui est dans /boot n'est que l'image du noyau. Le tout est installé par un même paquet
construit à partir de sources différentes (module nvidia par exemple).
Paul