At this page you can download a configuration file that lets you target a particular notebook architecture during the compilation of a new 32-bit Linux kernel.

I need a 64 bit version.

What do I have to do? I compiled a kernel 2-3 times in my life but I never touched a config file, I always have used an interactive menu.

  • 1
    just put the config file in the source directory as .config, I believe make menuconfig reads it.
    – Kevin
    Jun 23, 2012 at 15:30

1 Answer 1


The recommended answer, as the comment suggests, is to save it as .config in the top-level source directory, and then run make xconfig (GUI, easier) or make menuconfig (TUI) on a 64-bit system.

That said, to simply switch from 32-bit to 64-bit without changing anything else, a little editing at the beginning is all that's needed. Compare:

  • Original (32-bit)
# CONFIG_64BIT is not set
# CONFIG_X86_64 is not set
  • "Converted" 64-bit
# CONFIG_X86_32 is not set
  • Note that CONFIG_X86=y is not touched.
  • 1
    it's ok to compile a kernel on a different machine? I would like to use another machine that is faster than this.
    – user827992
    Jun 26, 2012 at 11:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.