config/arch/x86.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:44 2009 +0200 (2009-08-02)
changeset 1446 0a44fc4d6bd0
parent 903 9fb0f81b4416
child 1635 5d1936ad5ba8
permissions -rw-r--r--
[config] Allow user to specify custom CONFIG_SHELL

In case the shell the user wants to use as CONFIG_SHELL is located in a
weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4),
let the user enter the patch to the shell.
     1 # x86 specific options
     2 
     3 config ARCH_x86
     4     select ARCH_USE_MMU
     5     select ARCH_SUPPORT_ARCH
     6     select ARCH_SUPPORT_CPU
     7     select ARCH_SUPPORT_TUNE
     8     help
     9       The x86 architecture, as defined by:
    10         http://www.intel.com/