A resposta recomendada, como o comentário sugere, é salvá-lo como .config
no diretório de origem de nível superior e, em seguida, executar make xconfig
(GUI, mais fácil) ou make menuconfig
(TUI) um sistema de 64 bits .
Dito isto, para simplesmente mudar de 32 bits para 64 bits sem mudar nada, uma pequena edição no início é tudo o que é necessário. Comparar:
- Original (32 bits)
# CONFIG_64BIT is not set CONFIG_X86_32=y # CONFIG_X86_64 is not set CONFIG_OUTPUT_FORMAT="elf32-i386" CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
- "Convertido" 64 bits
CONFIG_64BIT=y # CONFIG_X86_32 is not set CONFIG_X86_64=y CONFIG_OUTPUT_FORMAT="elf64-x86-64" CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
- Observe que
CONFIG_X86=y
não é tocado .