Bonjour,
[quote=“PascalHambourg”]Debian triche sur les versions de ses noyaux.
Note bien que les noyaux de Debian ne sont pas identiques à ceux de kernel.org car il contiennent des patches spécifique ajoutés par Debian.[/quote]
Ben là. Moi qui ai toujours cru que Debian était un modèle de loyauté. Je me sens trahi. 
Si tu veux juste compiler un noyau, la bonne façon d’installer les sources Debian est d’installer le paquet [mono]linux-source[/mono], et non le paquet source “linux”.[/quote]
Je suis effectivement un peu confus dans les noms de paquet à mettre en œuvre. Merci pour cette précision.
Toutefois, l’idée est bien de télécharger depuis une source non paquetée : la manipulation est une étape de la conception d’un système embarqué : je souhaite réutiliser la même source que la machine hôte pour faciliter la première prise en main. À terme, n’importe quelle version doit pouvoir être mise en œuvre.
Merci pour votre partage de connaissance et votre intérêt.
Cordialement
Dominique.