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