Como converter um arquivo .config do kernel de 32 bits para 64 bits?

No desta página você pode baixar um arquivo de configuração que lhe permite atingir uma arquitetura de notebook particular durante a compilação de um novo kernel Linux de 32 bits.

Eu preciso de uma versão de 64 bits.

O que eu tenho que fazer? Compilei um kernel 2-3 vezes na minha vida, mas nunca toquei em um arquivo de configuração, sempre usei um menu interativo.

A resposta recomendada, como sugere o comentário, é salvá-la como .configno diretório de origem de nível superior e executar make xconfig(GUI, mais fácil) ou make menuconfig(TUI) em um sistema de 64 bits .

Dito isto, para simplesmente mudar de 32 bits para 64 bits sem alterar mais nada, basta uma pequena edição no começo. Comparar:

• Original (32 bits)

# CONFIG_64BIT não está definido
CONFIG_X86_32 = y
# CONFIG_X86_64 não está definido
CONFIG_OUTPUT_FORMAT = "elf32-i386"
CONFIG_ARCH_DEFCONFIG = "arch / x86 / configs / i386_defconfig"

• "Convertido" de 64 bits

CONFIG_64BIT = y
# CONFIG_X86_32 não está definido
CONFIG_X86_64 = y
CONFIG_OUTPUT_FORMAT = "elf64-x86-64"
CONFIG_ARCH_DEFCONFIG = "arch / x86 / configs / x86_64_defconfig"

• Observe que nãoCONFIG_X86=y é tocado .