Si lo siguiente es thumb significa que ya se como hacer que arm-eabi-gcc compile thumb:
Esta en plan cutre tal como ha salido del compilador, pero por eso de ".thumb_func" estoy bastante seguro de que es thumb =D
Bueno, a ver, el comando exacto que he usado:
$ /opt/devkitpro/devkitARM/bin/arm-eabi-gcc -I /opt/devkitpro/tonclib/include/ -O2 -mthumb -mthumb-interwork -S input.c -o output.s
Que generalmente sería:
$ arm-eabi-gcc -O2 -mthumb -mthumb-interwork -S input.c -o output.s
Donde input.c es el codigo en c que hemos escrito y output.s es el código en asm que se va a generar.
Lo que está en negrita es opcional. Si no lo ponemos el output se guardará en un archivo *.s llamado igual que el input (sin el ".c")
El "-O2" también es opcional, y sirve para optimizar.
El arm-eabi-gcc está en /opt/devkitpro/devkitARM/bin/arm-eabi-gcc siendo /opt/devkitpro/ el directorio donde está instalado devkitpro. Naturalmente esto es una ruta linux. En windows estará más o menos por una ruta así:
C:\devkitpro\devkitARM\bin\arm-eabi-gcc.exe
Aún así voy a aprender asm, pero está bien saberlo :D
Lo he sacado del tutorial de asm que hay en tonc. Recordad que el thumb en el fondo es un tipo de arm, porque funciona en el procesador ARM7TDMI.
EDIT: Lo siento por el doble post, espero que no pase nada...