Messages in this thread | | | Date | Fri, 04 Jun 2010 09:53:41 +0200 | From | Michal Marek <> | Subject | Re: config automatically switches from 32-bit to 64-bit for x86 |
| |
On 4.6.2010 08:23, Jaswinder Singh Rajput wrote: > Hello Michal and Sam, > > On Thu, Jun 3, 2010 at 7:00 PM, Michal Marek <mmarek@suse.cz> wrote: >> What about always making the prompt visible, so that the previously set >> value gets reused? The downside is that 'make ARCH=i386 menuconfig' in a >> clean tree on x86_64 will default to 64bit, because it will find the >> setting in the config of the running 64bit kernel :(. But after manually >> turning CONFIG_64BIT off, the setting will be preserved. >> >> diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig >> index dcb0593..05ec418 100644 >> --- a/arch/x86/Kconfig >> +++ b/arch/x86/Kconfig >> @@ -3,7 +3,7 @@ mainmenu "Linux Kernel Configuration for x86" >> >> # Select 32 or 64 bit >> config 64BIT >> - bool "64-bit kernel" if ARCH = "x86" >> + bool "64-bit kernel" >> default ARCH = "x86_64" >> ---help--- >> Say yes to build a 64-bit kernel - formerly known as x86_64 >> > > This patch works !!
Does $ make mrproper $ make ARCH=i386 menuconfig on x86_64 also work for you? Here, it takes CONFIG_64BIT=y from /boot/config-`uname -r`. I see no easy way to solve this atm.
Michal
| |