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