target/linux/x86/config-default

   1 # CONFIG_3C515 is not set
   2 CONFIG_4KSTACKS=y
   3 # CONFIG_60XX_WDT is not set
   4 # CONFIG_64BIT is not set
   5 # CONFIG_AC3200 is not set
   6 # CONFIG_ACERHDF is not set
   7 # CONFIG_ACPI is not set
   8 # CONFIG_ACPI_CMPC is not set
   9 # CONFIG_ACPI_EC_DEBUGFS is not set
  10 # CONFIG_ACPI_QUICKSTART is not set
  11 # CONFIG_ACQUIRE_WDT is not set
  12 # CONFIG_ADVANTECH_WDT is not set
  13 # CONFIG_ALIM1535_WDT is not set
  14 # CONFIG_APRICOT is not set
  15 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
  16 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
  17 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
  18 CONFIG_ARCH_HAS_CPU_RELAX=y
  19 CONFIG_ARCH_HAS_DEFAULT_IDLE=y
  20 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
  21 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
  22 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
  23 CONFIG_ARCH_POPULATES_NODE_MAP=y
  24 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
  25 CONFIG_ARCH_SPARSEMEM_ENABLE=y
  26 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
  27 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
  28 CONFIG_ARCH_SUPPORTS_MSI=y
  29 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
  30 CONFIG_ARCH_SUSPEND_POSSIBLE=y
  31 CONFIG_ARCH_USES_PG_UNCACHED=y
  32 CONFIG_ARCH_WANT_FRAME_POINTERS=y
  33 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
  34 # CONFIG_ASUS_LAPTOP is not set
  35 # CONFIG_AT1700 is not set
  36 CONFIG_ATA=y
  37 CONFIG_ATA_GENERIC=y
  38 CONFIG_ATA_PIIX=y
  39 # CONFIG_AUDIT_ARCH is not set
  40 CONFIG_BINFMT_MISC=y
  41 CONFIG_BITREVERSE=y
  42 CONFIG_BLK_DEV_SD=y
  43 # CONFIG_BLK_DEV_XD is not set
  44 CONFIG_BOUNCE=y
  45 # CONFIG_CC_STACKPROTECTOR is not set
  46 CONFIG_CFG80211_DEFAULT_PS_VALUE=0
  47 CONFIG_CLOCKSOURCE_WATCHDOG=y
  48 # CONFIG_CMDLINE_BOOL is not set
  49 CONFIG_COMPAT_VDSO=y
  50 CONFIG_CONSOLE_TRANSLATIONS=y
  51 # CONFIG_CPU5_WDT is not set
  52 CONFIG_CPU_FREQ=y
  53 # CONFIG_CPU_FREQ_DEBUG is not set
  54 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
  55 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
  56 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
  57 # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
  58 # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
  59 # CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set
  60 # CONFIG_CPU_FREQ_GOV_ONDEMAND is not set
  61 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
  62 # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
  63 # CONFIG_CPU_FREQ_GOV_USERSPACE is not set
  64 CONFIG_CPU_FREQ_STAT=y
  65 CONFIG_CPU_FREQ_STAT_DETAILS=y
  66 CONFIG_CPU_FREQ_TABLE=y
  67 CONFIG_CPU_IDLE=y
  68 CONFIG_CPU_IDLE_GOV_LADDER=y
  69 # CONFIG_CPU_SUP_AMD is not set
  70 # CONFIG_CPU_SUP_CENTAUR is not set
  71 # CONFIG_CPU_SUP_CYRIX_32 is not set
  72 # CONFIG_CPU_SUP_INTEL is not set
  73 # CONFIG_CPU_SUP_TRANSMETA_32 is not set
  74 # CONFIG_CPU_SUP_UMC_32 is not set
  75 # CONFIG_CS5535_GPIO is not set
  76 # CONFIG_GPIO_CS5535 is not set
  77 # CONFIG_CS89x0 is not set
  78 # CONFIG_DCDBAS is not set
  79 # CONFIG_DEBUG_BOOT_PARAMS is not set
  80 CONFIG_DEBUG_MEMORY_INIT=y
  81 # CONFIG_DEBUG_VIRTUAL is not set
  82 CONFIG_DECOMPRESS_BZIP2=y
  83 CONFIG_DECOMPRESS_GZIP=y
  84 CONFIG_DECOMPRESS_LZMA=y
  85 CONFIG_DEFAULT_IO_DELAY_TYPE=0
  86 # CONFIG_DELL_RBU is not set
  87 # CONFIG_DEPCA is not set
  88 CONFIG_DEVPORT=y
  89 # CONFIG_DMAR is not set
  90 # CONFIG_DMI is not set
  91 # CONFIG_DMI_SYSFS is not set
  92 CONFIG_DNOTIFY=y
  93 CONFIG_DOUBLEFAULT=y
  94 CONFIG_DUMMY_CONSOLE=y
  95 CONFIG_EARLY_PRINTK=y
  96 # CONFIG_EARLY_PRINTK_DBGP is not set
  97 # CONFIG_EDD is not set
  98 # CONFIG_EFI is not set
  99 # CONFIG_EISA is not set
 100 # CONFIG_EL1 is not set
 101 # CONFIG_EL16 is not set
 102 # CONFIG_EL2 is not set
 103 # CONFIG_EL3 is not set
 104 CONFIG_ELF_CORE=y
 105 # CONFIG_ELPLUS is not set
 106 # CONFIG_EUROTECH_WDT is not set
 107 CONFIG_EXT4_FS=y
 108 CONFIG_FIRMWARE_IN_KERNEL=y
 109 CONFIG_FIRMWARE_MEMMAP=y
 110 CONFIG_FIX_EARLYCON_MEM=y
 111 # CONFIG_FRAME_POINTER is not set
 112 CONFIG_GENERIC_BUG=y
 113 CONFIG_GENERIC_CLOCKEVENTS=y
 114 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
 115 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
 116 CONFIG_GENERIC_CMOS_UPDATE=y
 117 # CONFIG_GENERIC_CPU is not set
 118 CONFIG_GENERIC_FIND_FIRST_BIT=y
 119 CONFIG_GENERIC_FIND_LAST_BIT=y
 120 CONFIG_GENERIC_FIND_NEXT_BIT=y
 121 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
 122 CONFIG_GENERIC_IOMAP=y
 123 CONFIG_GENERIC_ISA_DMA=y
 124 # CONFIG_GENERIC_TIME_VSYSCALL is not set
 125 # CONFIG_GOOGLE_FIRMWARE is not set
 126 # CONFIG_HANGCHECK_TIMER is not set
 127 CONFIG_HAS_DMA=y
 128 CONFIG_HAS_IOMEM=y
 129 CONFIG_HAS_IOPORT=y
 130 CONFIG_HAVE_AOUT=y
 131 CONFIG_HAVE_ARCH_KGDB=y
 132 CONFIG_HAVE_ARCH_KMEMCHECK=y
 133 CONFIG_HAVE_ARCH_TRACEHOOK=y
 134 CONFIG_HAVE_ATOMIC_IOMAP=y
 135 # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set
 136 CONFIG_HAVE_DMA_API_DEBUG=y
 137 CONFIG_HAVE_DMA_ATTRS=y
 138 CONFIG_HAVE_DYNAMIC_FTRACE=y
 139 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
 140 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
 141 CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST=y
 142 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
 143 CONFIG_HAVE_FUNCTION_TRACER=y
 144 CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST=y
 145 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
 146 CONFIG_HAVE_IDE=y
 147 CONFIG_HAVE_IOREMAP_PROT=y
 148 CONFIG_HAVE_KERNEL_BZIP2=y
 149 CONFIG_HAVE_KERNEL_GZIP=y
 150 CONFIG_HAVE_KERNEL_LZMA=y
 151 CONFIG_HAVE_KERNEL_LZO=y
 152 CONFIG_HAVE_KPROBES=y
 153 CONFIG_HAVE_KRETPROBES=y
 154 CONFIG_HAVE_KVM=y
 155 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
 156 CONFIG_HAVE_MMIOTRACE_SUPPORT=y
 157 CONFIG_HAVE_OPROFILE=y
 158 CONFIG_HAVE_SETUP_PER_CPU_AREA=y
 159 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
 160 CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y
 161 # CONFIG_HIBERNATION is not set
 162 CONFIG_HID=y
 163 CONFIG_HID_SUPPORT=y
 164 # CONFIG_HIGHMEM4G is not set
 165 # CONFIG_HIGHMEM64G is not set
 166 # CONFIG_HIGH_RES_TIMERS is not set
 167 # CONFIG_HP_ACCEL is not set
 168 CONFIG_HPET=y
 169 CONFIG_HPET_EMULATE_RTC=y
 170 CONFIG_HPET_MMAP=y
 171 CONFIG_HPET_TIMER=y
 172 # CONFIG_HP_WATCHDOG is not set
 173 CONFIG_HT_IRQ=y
 174 # CONFIG_HUGETLBFS is not set
 175 CONFIG_HW_CONSOLE=y
 176 CONFIG_HW_RANDOM=y
 177 CONFIG_HW_RANDOM_GEODE=y
 178 CONFIG_HW_RANDOM_VIA=y
 179 # CONFIG_I6300ESB_WDT is not set
 180 # CONFIG_I8K is not set
 181 # CONFIG_IB700_WDT is not set
 182 # CONFIG_IBMASR is not set
 183 # CONFIG_IMA is not set
 184 CONFIG_INITRAMFS_SOURCE=""
 185 # CONFIG_INPUT is not set
 186 # CONFIG_INTEL_IPS is not set
 187 # CONFIG_INTEL_MEI is not set
 188 # CONFIG_INTEL_MENLOW is not set
 189 # CONFIG_IOMMU_API is not set
 190 # CONFIG_IOMMU_HELPER is not set
 191 # CONFIG_IOMMU_STRESS is not set
 192 CONFIG_IO_DELAY_0X80=y
 193 # CONFIG_IO_DELAY_0XED is not set
 194 # CONFIG_IO_DELAY_NONE is not set
 195 CONFIG_IO_DELAY_TYPE_0X80=0
 196 CONFIG_IO_DELAY_TYPE_0XED=1
 197 CONFIG_IO_DELAY_TYPE_NONE=3
 198 CONFIG_IO_DELAY_TYPE_UDELAY=2
 199 # CONFIG_IO_DELAY_UDELAY is not set
 200 # CONFIG_ISA is not set
 201 # CONFIG_ISCSI_IBFT_FIND is not set
 202 # CONFIG_ISDN_CAPI is not set
 203 # CONFIG_ISDN_I4L is not set
 204 # CONFIG_IT8712F_WDT is not set
 205 # CONFIG_IT87_WDT is not set
 206 # CONFIG_ITCO_WDT is not set
 207 CONFIG_KALLSYMS=y
 208 CONFIG_KERNEL_GZIP=y
 209 # CONFIG_KERNEL_LZMA is not set
 210 CONFIG_KEXEC=y
 211 CONFIG_KEYBOARD_ATKBD=y
 212 # CONFIG_KEYBOARD_LKKBD is not set
 213 # CONFIG_KEYBOARD_NEWTON is not set
 214 # CONFIG_KEYBOARD_STOWAWAY is not set
 215 # CONFIG_KEYBOARD_SUNKBD is not set
 216 # CONFIG_KEYBOARD_XTKBD is not set
 217 CONFIG_KTIME_SCALAR=y
 218 # CONFIG_LANCE is not set
 219 # CONFIG_LEDS_ALIX2 is not set
 220 # CONFIG_LEDS_CLEVO_MAIL is not set
 221 # CONFIG_M386 is not set
 222 CONFIG_M486=y
 223 # CONFIG_M586 is not set
 224 # CONFIG_M586MMX is not set
 225 # CONFIG_M586TSC is not set
 226 # CONFIG_M686 is not set
 227 # CONFIG_MACHZ_WDT is not set
 228 CONFIG_X86_RESERVE_LOW=64
 229 CONFIG_MATH_EMULATION=y
 230 # CONFIG_MATOM is not set
 231 # CONFIG_MCA is not set
 232 # CONFIG_MCORE2 is not set
 233 # CONFIG_MCRUSOE is not set
 234 # CONFIG_MCYRIXIII is not set
 235 # CONFIG_MDA_CONSOLE is not set
 236 # CONFIG_MEFFICEON is not set
 237 # CONFIG_MELAN is not set
 238 # CONFIG_MEMTEST is not set
 239 # CONFIG_MGEODEGX1 is not set
 240 # CONFIG_MGEODE_LX is not set
 241 # CONFIG_MICROCODE is not set
 242 # CONFIG_MIXCOMWD is not set
 243 # CONFIG_MK6 is not set
 244 # CONFIG_MK7 is not set
 245 # CONFIG_MK8 is not set
 246 # CONFIG_MPENTIUM4 is not set
 247 # CONFIG_MPENTIUMII is not set
 248 # CONFIG_MPENTIUMIII is not set
 249 # CONFIG_MPENTIUMM is not set
 250 # CONFIG_MPSC is not set
 251 CONFIG_MTD_BLOCK2MTD=y
 252 # CONFIG_MTD_CFI is not set
 253 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
 254 # CONFIG_MTD_TS5500 is not set
 255 CONFIG_MTRR=y
 256 # CONFIG_MTRR_SANITIZER is not set
 257 # CONFIG_MVIAC3_2 is not set
 258 # CONFIG_MVIAC7 is not set
 259 # CONFIG_MWINCHIP3D is not set
 260 # CONFIG_MWINCHIPC6 is not set
 261 CONFIG_NAMESPACES=y
 262 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
 263 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
 264 # CONFIG_NET_NS is not set
 265 CONFIG_NET_VENDOR_3COM=y
 266 # CONFIG_NET_VENDOR_RACAL is not set
 267 # CONFIG_NET_VENDOR_SMC is not set
 268 CONFIG_NOHIGHMEM=y
 269 CONFIG_NR_CPUS=1
 270 # CONFIG_IRQ_TIME_ACCOUNTING is not set
 271 # CONFIG_NSC_GPIO is not set
 272 CONFIG_NVRAM=y
 273 # CONFIG_OLPC is not set
 274 # CONFIG_OLPC_OPENFIRMWARE is not set
 275 # CONFIG_OPTIMIZE_INLINING is not set
 276 CONFIG_OUTPUT_FORMAT="elf32-i386"
 277 CONFIG_PAGEFLAGS_EXTENDED=y
 278 CONFIG_PAGE_OFFSET=0xC0000000
 279 # CONFIG_PARAVIRT_GUEST is not set
 280 # CONFIG_PATA_AMD is not set
 281 CONFIG_PATA_MPIIX=y
 282 CONFIG_PATA_OLDPIIX=y
 283 CONFIG_PATA_SC1200=y
 284 CONFIG_PATA_VIA=y
 285 # CONFIG_PC8736x_GPIO is not set
 286 # CONFIG_PC87413_WDT is not set
 287 CONFIG_PCI=y
 288 # CONFIG_PCIEPORTBUS is not set
 289 CONFIG_PCI_BIOS=y
 290 CONFIG_PCI_DIRECT=y
 291 CONFIG_PCI_DOMAINS=y
 292 CONFIG_PCI_GOANY=y
 293 # CONFIG_PCI_GOBIOS is not set
 294 # CONFIG_PCI_GODIRECT is not set
 295 # CONFIG_PCI_GOMMCONFIG is not set
 296 # CONFIG_PCI_GOOLPC is not set
 297 CONFIG_PCI_MMCONFIG=y
 298 CONFIG_PCI_MSI=y
 299 CONFIG_PCSPKR_PLATFORM=y
 300 # CONFIG_PCWATCHDOG is not set
 301 # CONFIG_PDA_POWER is not set
 302 CONFIG_PHYSICAL_ALIGN=0x100000
 303 CONFIG_PHYSICAL_START=0x1000000
 304 CONFIG_PM=y
 305 # CONFIG_PM_DEBUG is not set
 306 # CONFIG_PM_RUNTIME is not set
 307 CONFIG_PNP=y
 308 CONFIG_PNPACPI=y
 309 # CONFIG_PNPBIOS is not set
 310 CONFIG_PNP_DEBUG_MESSAGES=y
 311 CONFIG_POWER_SUPPLY=y
 312 # CONFIG_POWER_SUPPLY_DEBUG is not set
 313 # CONFIG_PROCESSOR_SELECT is not set
 314 CONFIG_PROC_PAGE_MONITOR=y
 315 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
 316 CONFIG_RD_BZIP2=y
 317 CONFIG_RD_GZIP=y
 318 # CONFIG_RELOCATABLE is not set
 319 CONFIG_RTC=y
 320 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
 321 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 322 # CONFIG_SBC7240_WDT is not set
 323 # CONFIG_SBC8360_WDT is not set
 324 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
 325 # CONFIG_F71808E_WDT is not set
 326 # CONFIG_SC1200_WDT is not set
 327 # CONFIG_SC520_WDT is not set
 328 # CONFIG_SCHED_HRTICK is not set
 329 CONFIG_SCHED_OMIT_FRAME_POINTER=y
 330 CONFIG_SCSI=y
 331 # CONFIG_SCSI_ISCI is not set
 332 CONFIG_SCx200=y
 333 CONFIG_SCx200HR_TIMER=y
 334 # CONFIG_SCx200_GPIO is not set
 335 # CONFIG_SCx200_WDT is not set
 336 # CONFIG_SENSORS_K10TEMP is not set
 337 # CONFIG_SENSORS_PKGTEMP is not set
 338 # CONFIG_SENSORS_VIA_CPUTEMP is not set
 339 # CONFIG_SERIAL_8250_EXTENDED is not set
 340 CONFIG_SERIAL_8250_PCI=y
 341 CONFIG_SERIAL_8250_PNP=y
 342 CONFIG_SERIO=y
 343 # CONFIG_SERIO_CT82C710 is not set
 344 CONFIG_SERIO_I8042=y
 345 CONFIG_SERIO_LIBPS2=y
 346 # CONFIG_SERIO_PCIPS2 is not set
 347 # CONFIG_SERIO_RAW is not set
 348 CONFIG_SERIO_SERPORT=y
 349 # CONFIG_SERIO_PS2MULT is not set
 350 # CONFIG_SLAB is not set
 351 CONFIG_SLUB=y
 352 CONFIG_SLUB_DEBUG=y
 353 # CONFIG_SLUB_DEBUG_ON is not set
 354 # CONFIG_SLUB_STATS is not set
 355 # CONFIG_SMSC37B787_WDT is not set
 356 # CONFIG_SMSC_SCH311X_WDT is not set
 357 CONFIG_SPARSEMEM_STATIC=y
 358 # CONFIG_SPARSE_IRQ is not set
 359 CONFIG_STRICT_DEVMEM=y
 360 # CONFIG_SUSPEND is not set
 361 # CONFIG_TC1100_WMI is not set
 362 # CONFIG_TELCLOCK is not set
 363 CONFIG_THERMAL=y
 364 # CONFIG_THINKPAD_ACPI is not set
 365 # CONFIG_TOPSTAR_LAPTOP is not set
 366 # CONFIG_TOSHIBA is not set
 367 # CONFIG_TOSHIBA_BT_RFKILL is not set
 368 # CONFIG_IBM_RTL is not set
 369 # CONFIG_TREE_PREEMPT_RCU is not set
 370 CONFIG_TREE_RCU=y
 371 # CONFIG_TYPHOON is not set
 372 CONFIG_UID16=y
 373 CONFIG_USB_SUPPORT=y
 374 # CONFIG_USER_NS is not set
 375 CONFIG_USER_STACKTRACE_SUPPORT=y
 376 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
 377 CONFIG_VGA_ARB_MAX_GPUS=16
 378 CONFIG_VGA_CONSOLE=y
 379 # CONFIG_VHOST_NET is not set
 380 CONFIG_VM86=y
 381 # CONFIG_VMWARE_BALLOON is not set
 382 # CONFIG_VMWARE_PVSCSI is not set
 383 CONFIG_VM_EVENT_COUNTERS=y
 384 # CONFIG_VORTEX is not set
 385 # CONFIG_VT is not set
 386 # CONFIG_W83697UG_WDT is not set
 387 # CONFIG_WAFER_WDT is not set
 388 # CONFIG_WDT is not set
 389 CONFIG_X86=y
 390 CONFIG_X86_32=y
 391 CONFIG_X86_32_LAZY_GS=y
 392 # CONFIG_X86_32_IRIS is not set
 393 # CONFIG_X86_64 is not set
 394 # CONFIG_X86_ACPI_CPUFREQ is not set
 395 CONFIG_X86_ALIGNMENT_16=y
 396 # CONFIG_X86_ANCIENT_MCE is not set
 397 CONFIG_X86_BSWAP=y
 398 # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
 399 CONFIG_X86_CMPXCHG=y
 400 CONFIG_X86_CPU=y
 401 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
 402 # CONFIG_X86_CPUID is not set
 403 # CONFIG_X86_EXTENDED_PLATFORM is not set
 404 # CONFIG_X86_E_POWERSAVER is not set
 405 CONFIG_X86_F00F_BUG=y
 406 CONFIG_X86_GENERIC=y
 407 # CONFIG_X86_GX_SUSPMOD is not set
 408 CONFIG_X86_INTEL_USERCOPY=y
 409 CONFIG_X86_INTERNODE_CACHE_BYTES=64
 410 CONFIG_X86_INVLPG=y
 411 CONFIG_X86_IO_APIC=y
 412 CONFIG_X86_L1_CACHE_BYTES=64
 413 CONFIG_X86_L1_CACHE_SHIFT=6
 414 CONFIG_X86_LOCAL_APIC=y
 415 # CONFIG_X86_LONGHAUL is not set
 416 # CONFIG_X86_LONGRUN is not set
 417 CONFIG_X86_MCE=y
 418 CONFIG_X86_MCE_AMD=y
 419 # CONFIG_X86_MCE_INJECT is not set
 420 CONFIG_X86_MCE_INTEL=y
 421 CONFIG_X86_MCE_THRESHOLD=y
 422 CONFIG_X86_MINIMUM_CPU_FAMILY=4
 423 CONFIG_X86_MPPARSE=y
 424 # CONFIG_X86_MSR is not set
 425 # CONFIG_X86_P4_CLOCKMOD is not set
 426 # CONFIG_X86_PAE is not set
 427 CONFIG_X86_PAT=y
 428 # CONFIG_X86_PCC_CPUFREQ is not set
 429 CONFIG_X86_PLATFORM_DEVICES=y
 430 CONFIG_X86_PM_TIMER=y
 431 CONFIG_X86_POPAD_OK=y
 432 # CONFIG_X86_POWERNOW_K6 is not set
 433 # CONFIG_X86_POWERNOW_K7 is not set
 434 # CONFIG_X86_POWERNOW_K8 is not set
 435 CONFIG_X86_PPRO_FENCE=y
 436 # CONFIG_X86_PTDUMP is not set
 437 # CONFIG_X86_REBOOTFIXUPS is not set
 438 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
 439 CONFIG_X86_RESERVE_LOW_64K=y
 440 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
 441 # CONFIG_X86_SPEEDSTEP_ICH is not set
 442 # CONFIG_X86_SPEEDSTEP_LIB is not set
 443 # CONFIG_X86_SPEEDSTEP_SMI is not set
 444 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
 445 CONFIG_X86_THERMAL_VECTOR=y
 446 CONFIG_X86_UP_APIC=y
 447 CONFIG_X86_UP_IOAPIC=y
 448 CONFIG_X86_VERBOSE_BOOTUP=y
 449 CONFIG_X86_WP_WORKS_OK=y
 450 CONFIG_X86_XADD=y
 451 # CONFIG_XO15_EBOOK is not set
 452 # CONFIG_ZONE_DMA32 is not set
 453 # CONFIG_BATTERY_BQ20Z75 is not set
 454 # CONFIG_TRANSPARENT_HUGEPAGE is not set