Effectivement, à chaque fois que tu recompiles ton noyau, il faut recompiler les pilotes externes, mais ce n'est pas un problème spécifique à Ketchup: tu as le même problème si tu récupères à la main une nouvelle version du noyau.
Ketchup ne gère pas du tout l'aspect compilation, juste l'aspect récupération des sources. À toi de faire le script qui va bien pour recompiler le noyau et tes modules externes ;-)
[^] # Re: Et avec les pilotes propriétaires, qu'est-ce que ça donne ?
Posté par Thomas Petazzoni (site web personnel) . En réponse à la dépêche Ketchup, pour garder un noyau bien à jour. Évalué à 2.
Ketchup ne gère pas du tout l'aspect compilation, juste l'aspect récupération des sources. À toi de faire le script qui va bien pour recompiler le noyau et tes modules externes ;-)