Re: kernel howto

[Mattia Dongili <dongili@supereva.it>]

ciao,

[SNIP]
> Installa un kernel tramite apt oppure scaricane uno da
> www.kernel.org. La procedura di debian non la conosco, per cui ti
> spiego la seconda in linea di massima. Il kernel scaricato sarà un
> file compresso; mettilo in /usr/src, scompattalo ed otterrai una
> directory linux(ver kernel). crea in /usr/src un symlink chiamato
> linux  a quest'ultima dir: ln -s linux(ver kernel) linux.
> Poi:
> make menuconfig 
> make dep
> make clean
> make bzImage
> make modulese
> (attenzione in /lib/modules, se compili un kernel della stessa
> versione del corrente dovrai rinominare /lib/modules/(modulivecchi)
> make modules_install

Attenzione! sarebbe piu' corretto editare il Makefile nella directory
base dei sorgenti e impostare la EXTRAVERSION, ad esempio l'ultimo che
ho compilato ha:

VERSION = 2
PATCHLEVEL = 4
SUBLEVEL = 20
EXTRAVERSION = -cpufreq-1

in questo modo possono convivere diversi kernel, ognuno con la sua dir
dei moduli$ l /lib/modules/
total 2
drwxr-xr-x    3 root     root          368 Mar  3 21:13 2.4.18-bf2.4
drwxr-xr-x    4 root     root          416 Mar  3 23:27 2.4.20-cpufreq-1
drwxr-xr-x    3 root     root          288 Mar 11 10:43 2.5.63-1
drwxr-xr-x    3 root     root          288 Mar  9 18:00 2.5.64-1

aloha
--
mattia