Ciao a tutti, volevo sapere se esisteva qualche tool per semplificare l-aggiornamento del kernel in debian (3.1)