Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|improve this question
just put the config file in the source directory as .config, I believe make menuconfig reads it. – Kevin Jun 23 '12 at 15:30
up vote 7 down vote accepted

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.
share|improve this answer
thanks i will try that :) – user827992 Jun 24 '12 at 15:52
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 '12 at 11:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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