2011/11/7 Antonio Galea <antonio.galea@xxxxxxxxx> > > Argh! Questo fa casino di sicuro sia al gcc che al resto. Se > non altro metterlo a posto non è difficile: dovrebbe bastarti > installare un kernel amd64 e riavviare con quello. > > Qui non ti seguo, mi pare di avere installato e sto utilizzando il seguente kernel: linux-generic linux-image-3.0.0-12-generic linux-headers-3.0.0-12 linux-headers-3.0.0-12-generic Che altro dovrei fare precisamente? -- Ciao, Mario