Alle 20:24, venerd́ 22 ottobre 2004, Alessandro Ronchi ha scritto: > Su www.kernel.org trovi il sorgente (source). > Usa quello della tua distribuzione (non ci hai detto quale usi) che > trovi sicuramente sul sito del produttore. E' una debian, ne ho trovati vari di pacchetti con apt-cache search: kernel-header, kernel-image ecc ma non so quale usare. Fabio.