yann@628: # x86 specific options
yann@628: 
yann@628: config ARCH_x86