config/arch/x86.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Oct 11 22:21:48 2011 +0200 (2011-10-11)
changeset 2706 30c89d1f74a4
parent 1635 5d1936ad5ba8
child 2788 b6faa28e76e0
permissions -rw-r--r--
libc/glibc: run ./configure in CONFIG_SHELL

Tremendously helps when running on at least Ubuntu, with dash as
the system shell (ie. /bin/sh points to dash).

Reported by a few people, of which:
leming, ccct and ccole on IRC

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # x86 specific options
     2 
     3 ## select ARCH_SUPPORTS_32
     4 ## select ARCH_SUPPORTS_64
     5 ## select ARCH_DEFAULT_32
     6 ## select ARCH_USE_MMU
     7 ## select ARCH_SUPPORT_ARCH
     8 ## select ARCH_SUPPORT_CPU
     9 ## select ARCH_SUPPORT_TUNE
    10 ##
    11 ## help The x86 architecture, as defined by:
    12 ## help     32-bit (ia32) : http://www.intel.com/
    13 ## help     64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html