Cet outils gère les kernels et patchs "releasés" (ho le jolie mot) par ces messieurs de kernel.org. Debian applique ses propres patches aux kernels proposés.
Je vois pas bien ce que tu veux dire par "comment ça va s'interfacer avec la gestion des noyaux de debian".
D'ailleurs Ketchup est déjà disponible en sid (j'ai pas regardé pour les autres branches).
[^] # Re: debian
Posté par jaroug . En réponse à la dépêche Ketchup, pour garder un noyau bien à jour. Évalué à 4.
Je vois pas bien ce que tu veux dire par "comment ça va s'interfacer avec la gestion des noyaux de debian".
D'ailleurs Ketchup est déjà disponible en sid (j'ai pas regardé pour les autres branches).