>> Che architettura hai? > > È un Vortex86, che si è sempre compilato (piano piano) i propri kernel > come se fosse un 386 ma adesso c'è qualcosa che non gli torna. > >> Dove hai preso il sorgenti di questo kernel ? > > Sono quelli del pacchetto debian. > Vedi un po' nello script " /usr/src/linux-source-3.2/scripts/gcc-version.sh" che test fa per determinare che gcc usare. Walter