yann@628: # x86 specific options
yann@628: 
yann@628: config ARCH_x86
yann@631:     select ARCH_SUPPORT_ARCH
yann@631:     select ARCH_SUPPORT_CPU
yann@631:     select ARCH_SUPPORT_TUNE
yann@630:     help
yann@630:       The x86 architecture, as defined by:
yann@630:         http://www.intel.com/