Traduzioni: English - Français - Italiano Kernel > FAQ

Kernel più recente?

Perché installare un kernel più recente?

Spesso non è necessario perché il kernel predefinito fornito con Debian gestisce la maggior parte delle configurazioni. Tuttavia è utile compilare un nuovo kernel per:

Qunado si installa un nuovo kernel, si hanno due possibilità: si può installare uno dei kernel precompilati forniti da Debian/GNU Linux o compilare il kernel da soli.

Installare un'immagine Linux

Questo è spiegato in Come aggiornare il kernel.

Compilare il proprio kernel

Se si vuole solo cambiare la configurazione o applicare una qualche patch, vedere Come ricompilare un pacchetto kernel ufficiale Debian.

Se si vuole compilare un kernel non distribuito per nulla in Debian, vedere Compilare un kernel dai sorgenti originali.

Risoluzione dei problemi / Debug

Oops del kernel
"oops" si riferisce al messaggio visualizzato dal kernel Linux quando si verifica una condizione inaspettata. Incidenti come questi dovrebbero essere segnalati agli sviluppatori del kernel Linux; informazioni su come farlo vengono fornite insieme ai sorgenti del kernel Linux.

Informazioni

FAQ varie

Qual è il kernel attualmente in uso?

Usare il comando uname(1). Per esempio: uname -r che restituisce 2.6.26-1-686 (e perciò il nome del pacchetto è linux-image-$(uname -r)).

Da che pacchetto deriva?

Solitamente, questo comando dovrebbe mostrarlo: dpkg -p linux-image-$(uname -r). Gli utenti di frontend basati su APT dovrebbero usare invece apt-cache show linux-image-$(uname -r).

Dove è il file di configurazione del kernel?

I file di configurazione del kernel dei kernel ufficiali Debian sono disponibili in /boot, e prendono nome dal rilascio del kernel, come /boot/config-2.6.18-6-486, o /boot/config-$(uname -r).

Tutti i file di configurazione del kernel, che sono stati usati per compilare le immagini binarie ufficiali Debian dei kernel dal pacchetto sorgente linux-2.6 sono disponibili su http://kernel.alioth.debian.org/config/.

Debian ha /proc/config.gz?

/proc/config.gz non è disponibile in Debian, perché il suo file di configurazione è fornito in /boot/config-*; non c'è bisogno della variante in-memoria (Configurazione del kernel CONFIG_IKCONFIG e CONFIG_IKCONFIG_PROC). Vedere il bug 541489.

Il seguente comando bash trova il file di configurazione attuale corrispondente (per i kernel standard):

   1 ls /boot/config-$(uname -r)
Sorgenti del kernel?

Vedere dpkg -l 'linux-source*' per i pacchetti sorgente disponibili e KernelGit per gli alberi di sviluppo.

Header del kernel?

Vedere KernelHeaders.

Patch incluse nel kernel Linux Debian

https://salsa.debian.org/kernel-team/linux/-/tree/master/debian/patches

Firmware non incluso?

Vedere KernelFirmwareLicensing

Nuove funzionalità

kernelnewbies.org ha dei riepiloghi delle nuove funzionalità nei kernel:

Vedere anche


CategoryKernel