Ok prova questo.
Nella directory con i sorgenti del kernel, c'č un file chiamato Makefile. Devi modificare le prime 4 righe in questo modo:
VERSION = 2
PATCHLEVEL = 4
SUBLEVEL = 20
EXTRAVERSION = -4GB-athlon
Probabilmente la quarta riga č l'unica da modificare (occhio agli spazi e alle maiuscole/minuscole).
Quindi esegui
make mrproper
Al termine lancia
make xconfig
Ti si aprirā un programmino per la configurazione del kernel. Vai nella sezione "Processor type and features" e seleziona "athlon" come processor family. Sempre nella stessa finestra, metti la voce "high memory support" a 4GB. Salva ed esci.
Esegui quindi da console
make dep
e prova adesso a ricompilare 'sto benedetto programma.
__________________
0: or %edi, %ecx; adc %eax, (%edx); popf; je 0b-22; pop %ebx; fadds 0x56(%ecx); lds 0x56(%ebx), %esp; mov %al, %al
andeqs pc, r1, #147456; blpl 0xff8dd280; ldrgtb r4, [r6, #-472]; addgt r5, r8, r3, ror #12
|