Comme on le découvre plus bas, en fait Ketchup ne se charge que de récupérer les sources du noyau, à toi de te démerder ensuite pour compiler et installer. Peut-être que Debian a des outils pour t'y aider, sinon c'est à la main qu'il faut le faire. Et dans ce cas, si tu ne connais pas bien et Linux (le noyau) et ta distribution, laisse tomber, tu risques de tout casser. (M'enfin, ça ne t'interdit pas d'apprendre et d'essayer, hein, mais de préférence sur un autre ordi, ou une autre partition, afin d'avoir toujours un poste de travail bien stable.)
[^] # Re: debian
Posté par Boa Treize (site web personnel) . En réponse à la dépêche Ketchup, pour garder un noyau bien à jour. Évalué à 4.