Translation(s): English - Italiano

Come aggiornare il kernel

Il modo più facile per farlo è di installare sul proprio sistema uno dei pacchetti forniti con un'immagine del kernel. Possono essere ottenuti usando apt-get o aptitude, se si vuole usare la riga di comando, oppure Synaptic se si vuole usare un'interfaccia grafica.

Per installare un'immagine del kernel, prima si deve decidere quale si vuole usare. Iniziare da

apt-cache search linux-image

Notare che le immagini del kernel sono disponibili in diverse tipologie, a seconda della propria architettura.

Una buona panoramica sulle versioni del kernel disponibili può essere trovata su linux.

Il kernel più recente può essere installato con:

 $ sudo apt-get install linux-image-<tipologia>

• Assicurarsi di leggere tutto ciò che viene visualizzato durante l'installazione, specialmente riguardo l'immagine initrd. Se si usa un bootloader non usuale potrebbe essere necessario riconfigurlo dopo l'installazione dell'immagine del kernel; in questo caso non dimenticarsi di indicare di usare l'immagine initrd corretta per il kernel (la pagina sulla Gestione dei pacchetti contiene dettagli su come elencare il contenuto di un pacchetto).

Ci sono alcuni repository alternativi per le immagini del kernel, ma non sono supportati e non hanno aggiornamenti di sicurezza (in modo tempestivo):

• per Debian Stable, usare StableProposedUpdates o Backports;

• per Debian Unstable e Debian Experimental, usare qualcosa di simile a questo:

  •  # cat >> /etc/apt/preferences << EOF
     Package: *
     Pin: release o=Debian,a=experimental
     Pin-Priority: 102
     EOF
     # apt-cache policy # mostra/verifica le preferenze attuali
    
     # echo "deb http://deb.debian.org/debian experimental main" >> /etc/apt/sources.list
    
     # apt-get update
    
     # apt-get -t experimental install linux-image-3.10-rc5-686-pae

    (Si può voler usare unstable invece di experimental e/o scegliere un mirror o una versione differenti. Inoltre le versioni del kernel e dell'ABI sono probabilmente diverse.) Questo può avere alcune ulteriori dipendenze, ma generalmente non dovrebbero avere effetti negativi sul sistema stable (o testing) dell'utente. Dopo si può sempre comunque selezionare il vecchio kernel dal bootloader.

Vedere anche

• Come ricompilare un pacchetto kernel ufficiale Debian

• FAQ del kernel

• DebianKernel - la pagina del Debian Kernel Team