Re: config automatically switches from 32-bit to 64-bit for x86

From: Jaswinder Singh Rajput
Date: Sun Jun 06 2010 - 00:14:50 EST


Hello Michal,

On Fri, Jun 4, 2010 at 1:23 PM, Michal Marek <mmarek@xxxxxxx> wrote:
> 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@xxxxxxx> 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.
>

Yes, this also works.

Thanks,
--
Jaswinder Singh.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/