Darwin, yo uso Gentoo en vez de Debian, pero aquí va la respuesta:
/usr/src/linux/include/asm-TecnologiaDelProcesador.
Por ejemplo, yo tengo un Pentium IV 64bits:
/usr/src/linux/include/asm-x86_64.
Si tu tienes un ordenador de 32 bits:
/usr/src/linux/include/asm-i386.
|