Il Sat, 09 Feb 2013 15:04:35 +0100, Portobello ha scritto: > sudo apt-cache search linux-headers-3.1.0-1-amd64 Questo comando non da' > nessun risultato. > Gli Headers del mio kernel non ci sono, non li trova. Allora aggiorna il kernel. Se nei tuoi repository non ci sono gli header per quel kernel, significa che non c'è più nemmeno il kernel. Agggiorna entrambi alla 3.2. Oppure non stai usando una Debian "regolare" e non ce lo stai dicendo. Bye.