¿Cómo convierto un archivo .config de kernel de 32 bits a 64 bits?

En esta página puede descargar un archivo de configuración que le permite apuntar a una arquitectura de notebook particular durante la compilación de un nuevo kernel de Linux de 32 bits.

Necesito una versión de 64 bits.

¿Que tengo que hacer? Compilé un kernel 2-3 veces en mi vida pero nunca toqué un archivo de configuración, siempre he usado un menú interactivo.

La respuesta recomendada, como sugiere el comentario, es guardarlo como .configen el directorio de origen de nivel superior y luego ejecutar make xconfig(GUI, más fácil) o make menuconfig(TUI) en un sistema de 64 bits .

Dicho esto, para simplemente cambiar de 32 bits a 64 bits sin cambiar nada más, una pequeña edición al principio es todo lo que se necesita. Comparar:

• Original (32 bits)

# CONFIG_64BIT no está configurado
CONFIG_X86_32 = y
# CONFIG_X86_64 no está configurado
CONFIG_OUTPUT_FORMAT = "elf32-i386"
CONFIG_ARCH_DEFCONFIG = "arch / x86 / configs / i386_defconfig"

• "Convertido" de 64 bits

CONFIG_64BIT = y
# CONFIG_X86_32 no está configurado
CONFIG_X86_64 = y
CONFIG_OUTPUT_FORMAT = "elf64-x86-64"
CONFIG_ARCH_DEFCONFIG = "arch / x86 / configs / x86_64_defconfig"

• Tenga en cuenta que CONFIG_X86=yse no se toca .