Inutile de me mettre en copie, je lis la liste. Le 24/05/2018 à 20:42, Paul Ezvan a écrit :
À noter qu'une "mise à jour" du noyau est différente d'une mise à jour d'un paquet standard, puisque généralement c'est un nouveau paquet qui est installé
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.
Pour un noyau ce qui prend de la place dans /lib ce sont les modules, le noyau lui-même étant installé dans /boot
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.

