Je pense qu'il vaut mieux partir des dépots source histoire d'avoir les bonnes versions pour ne pas poser de pb au load de modules tiers, patchs Debian éventuels et la config kernel de base à utiliser au make à modifier (make menuconfig) côté CONFIG_X86_64 et tout ce qui en dépends.
Même si en choisissant bien sa version noyau sur kernel.org et en récupérant le /boot/config-XXX-amd64 d'une machine Debian cela devrait pour l'essentiel fonctionner.
[^] # Re: fin du support 32 bits
Posté par lym . En réponse à la dépêche Debian GNU/Linux 13 : prêt pour le service. Évalué à 1.
Je pense qu'il vaut mieux partir des dépots source histoire d'avoir les bonnes versions pour ne pas poser de pb au load de modules tiers, patchs Debian éventuels et la config kernel de base à utiliser au make à modifier (make menuconfig) côté CONFIG_X86_64 et tout ce qui en dépends.
Même si en choisissant bien sa version noyau sur kernel.org et en récupérant le /boot/config-XXX-amd64 d'une machine Debian cela devrait pour l'essentiel fonctionner.