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