1 # CONFIG_3C515 is not set
3 # CONFIG_60XX_WDT is not set
4 # CONFIG_64BIT is not set
5 # CONFIG_AC3200 is not set
6 # CONFIG_ACPI_AC is not set
7 # CONFIG_ACPI_ASUS is not set
8 # CONFIG_ACPI_BATTERY is not set
9 CONFIG_ACPI_BLACKLIST_YEAR=0
10 # CONFIG_ACPI_BUTTON is not set
11 # CONFIG_ACPI_CONTAINER is not set
12 # CONFIG_ACPI_CUSTOM_DSDT is not set
13 # CONFIG_ACPI_DEBUG is not set
14 # CONFIG_ACPI_DOCK is not set
15 # CONFIG_ACPI_FAN is not set
16 # CONFIG_ACPI_PCI_SLOT is not set
17 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
18 CONFIG_ACPI_PROCESSOR=y
19 # CONFIG_ACPI_PROC_EVENT is not set
20 # CONFIG_ACPI_PROCFS is not set
21 # CONFIG_ACPI_PROCFS_POWER is not set
22 # CONFIG_ACPI_SBS is not set
23 CONFIG_ACPI_SYSFS_POWER=y
25 # CONFIG_ACPI_TOSHIBA is not set
26 # CONFIG_ACPI_WMI is not set
28 # CONFIG_ACQUIRE_WDT is not set
29 # CONFIG_ADVANTECH_WDT is not set
30 # CONFIG_ALIM1535_WDT is not set
31 # CONFIG_APM is not set
32 # CONFIG_APRICOT is not set
33 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"
34 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
35 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
36 CONFIG_ARCH_HAS_CPU_RELAX=y
37 CONFIG_ARCH_HAS_DEFAULT_IDLE=y
38 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
39 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
40 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
41 CONFIG_ARCH_POPULATES_NODE_MAP=y
42 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
43 CONFIG_ARCH_SPARSEMEM_ENABLE=y
44 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
45 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
46 CONFIG_ARCH_SUPPORTS_MSI=y
47 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
48 CONFIG_ARCH_SUSPEND_POSSIBLE=y
49 CONFIG_ARCH_USES_PG_UNCACHED=y
50 CONFIG_ARCH_WANT_FRAME_POINTERS=y
51 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
52 # CONFIG_ASUS_LAPTOP is not set
53 # CONFIG_AT1700 is not set
57 # CONFIG_AUDIT_ARCH is not set
61 # CONFIG_BLK_DEV_XD is not set
63 # CONFIG_CC_STACKPROTECTOR is not set
64 CONFIG_CFG80211_DEFAULT_PS_VALUE=0
65 CONFIG_CLOCKSOURCE_WATCHDOG=y
66 # CONFIG_CMDLINE_BOOL is not set
68 CONFIG_CONSOLE_TRANSLATIONS=y
69 # CONFIG_CPU5_WDT is not set
70 # CONFIG_CPU_FREQ_DEBUG is not set
71 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
72 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
73 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
74 # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
75 # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
76 # CONFIG_CPU_FREQ_GOV_CONSERVATIVE is not set
77 # CONFIG_CPU_FREQ_GOV_ONDEMAND is not set
78 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
79 # CONFIG_CPU_FREQ_GOV_POWERSAVE is not set
80 # CONFIG_CPU_FREQ_GOV_USERSPACE is not set
81 CONFIG_CPU_FREQ_STAT_DETAILS=y
82 CONFIG_CPU_FREQ_STAT=y
83 CONFIG_CPU_FREQ_TABLE=y
85 CONFIG_CPU_IDLE_GOV_LADDER=y
88 CONFIG_CPU_SUP_CENTAUR=y
89 CONFIG_CPU_SUP_CYRIX_32=y
90 CONFIG_CPU_SUP_INTEL=y
91 CONFIG_CPU_SUP_TRANSMETA_32=y
92 CONFIG_CPU_SUP_UMC_32=y
93 # CONFIG_CS5535_GPIO is not set
94 # CONFIG_CS89x0 is not set
95 # CONFIG_DCDBAS is not set
96 CONFIG_DEBUG_MEMORY_INIT=y
97 CONFIG_DECOMPRESS_BZIP2=y
98 CONFIG_DECOMPRESS_GZIP=y
99 CONFIG_DECOMPRESS_LZMA=y
100 CONFIG_DEFAULT_IO_DELAY_TYPE=0
101 # CONFIG_DELL_RBU is not set
102 # CONFIG_DEPCA is not set
104 # CONFIG_DMA_API_DEBUG is not set
105 # CONFIG_DMAR is not set
106 # CONFIG_DMIID is not set
110 CONFIG_DUMMY_CONSOLE=y
111 # CONFIG_EARLY_PRINTK_DBGP is not set
112 CONFIG_EARLY_PRINTK=y
113 # CONFIG_EDD is not set
114 # CONFIG_EFI is not set
115 # CONFIG_EISA is not set
116 # CONFIG_EL16 is not set
117 # CONFIG_EL1 is not set
118 # CONFIG_EL2 is not set
119 # CONFIG_EL3 is not set
121 # CONFIG_ELPLUS is not set
122 # CONFIG_EUROTECH_WDT is not set
124 CONFIG_FIRMWARE_IN_KERNEL=y
125 CONFIG_FIRMWARE_MEMMAP=y
126 CONFIG_FIX_EARLYCON_MEM=y
127 # CONFIG_FRAME_POINTER is not set
128 # CONFIG_FREEZER is not
130 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
131 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
132 CONFIG_GENERIC_CLOCKEVENTS=y
133 CONFIG_GENERIC_CMOS_UPDATE=y
134 # CONFIG_GENERIC_CPU is not set
135 CONFIG_GENERIC_FIND_FIRST_BIT=y
136 CONFIG_GENERIC_FIND_LAST_BIT=y
137 CONFIG_GENERIC_FIND_NEXT_BIT=y
138 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
139 CONFIG_GENERIC_IOMAP=y
140 CONFIG_GENERIC_ISA_DMA=y
141 # CONFIG_GENERIC_PENDING_IRQ is not set
142 # CONFIG_GENERIC_TIME_VSYSCALL is not set
143 # CONFIG_HANGCHECK_TIMER is not set
148 CONFIG_HAVE_ARCH_KGDB=y
149 CONFIG_HAVE_ARCH_KMEMCHECK=y
150 CONFIG_HAVE_ARCH_TRACEHOOK=y
151 CONFIG_HAVE_ATOMIC_IOMAP=y
152 # CONFIG_HAVE_CPUMASK_OF_CPU_MAP is not set
153 CONFIG_HAVE_DMA_API_DEBUG=y
154 CONFIG_HAVE_DMA_ATTRS=y
155 CONFIG_HAVE_DYNAMIC_FTRACE=y
156 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
157 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
158 CONFIG_HAVE_FUNCTION_GRAPH_FP_TEST=y
159 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
160 CONFIG_HAVE_FUNCTION_TRACE_MCOUNT_TEST=y
161 CONFIG_HAVE_FUNCTION_TRACER=y
162 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
164 CONFIG_HAVE_IOREMAP_PROT=y
165 CONFIG_HAVE_KERNEL_BZIP2=y
166 CONFIG_HAVE_KERNEL_GZIP=y
167 CONFIG_HAVE_KERNEL_LZMA=y
168 CONFIG_HAVE_KERNEL_LZO=y
169 CONFIG_HAVE_KPROBES=y
170 CONFIG_HAVE_KRETPROBES=y
172 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
173 CONFIG_HAVE_MMIOTRACE_SUPPORT=y
174 CONFIG_HAVE_OPROFILE=y
175 # CONFIG_HAVE_PERF_EVENTS is not set
176 CONFIG_HAVE_SETUP_PER_CPU_AREA=y
177 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
178 CONFIG_HAVE_UNSTABLE_SCHED_CLOCK=y
179 # CONFIG_HIBERNATION is not set
182 # CONFIG_HIGHMEM4G is not set
183 # CONFIG_HIGHMEM64G is not set
184 # CONFIG_HIGH_RES_TIMERS is not set
185 # CONFIG_HOTPLUG_CPU is not set
186 CONFIG_HPET_EMULATE_RTC=y
190 # CONFIG_HP_WATCHDOG is not set
192 # CONFIG_HUGETLBFS is not set
193 # CONFIG_HVC_DRIVER is not set
194 # CONFIG_HVC_IRQ is not set
195 # CONFIG_HVC_XEN is not set
197 CONFIG_HW_RANDOM_GEODE=y
198 CONFIG_HW_RANDOM_VIA=y
200 # CONFIG_I6300ESB_WDT is not set
201 # CONFIG_I8K is not set
202 # CONFIG_IB700_WDT is not set
203 # CONFIG_IBMASR is not set
204 # CONFIG_IMA is not set
205 CONFIG_INITRAMFS_SOURCE=""
206 CONFIG_INPUT_KEYBOARD=y
207 CONFIG_INPUT_MOUSEDEV_PSAUX=y
208 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
209 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
210 CONFIG_INPUT_MOUSEDEV=y
213 # CONFIG_INPUT_YEALINK is not set
214 # CONFIG_INTEL_MENLOW is not set
215 CONFIG_IO_DELAY_0X80=y
216 # CONFIG_IO_DELAY_0XED is not set
217 # CONFIG_IO_DELAY_NONE is not set
218 CONFIG_IO_DELAY_TYPE_0X80=0
219 CONFIG_IO_DELAY_TYPE_0XED=1
220 CONFIG_IO_DELAY_TYPE_NONE=3
221 CONFIG_IO_DELAY_TYPE_UDELAY=2
222 # CONFIG_IO_DELAY_UDELAY is not set
223 # CONFIG_IOMMU_API is not set
224 # CONFIG_IOMMU_HELPER is not set
225 # CONFIG_IOMMU_STRESS is not set
229 # CONFIG_ISCSI_IBFT_FIND is not set
230 # CONFIG_IT8712F_WDT is not set
231 # CONFIG_IT87_WDT is not set
232 # CONFIG_ITCO_WDT is not set
235 # CONFIG_KERNEL_LZMA is not set
237 CONFIG_KEYBOARD_ATKBD=y
238 # CONFIG_KEYBOARD_LKKBD is not set
239 # CONFIG_KEYBOARD_NEWTON is not set
240 # CONFIG_KEYBOARD_STOWAWAY is not set
241 # CONFIG_KEYBOARD_SUNKBD is not set
242 # CONFIG_KEYBOARD_XTKBD is not set
243 CONFIG_KTIME_SCALAR=y
244 # CONFIG_KVM_CLOCK is not set
245 # CONFIG_KVM_GUEST is not set
246 # CONFIG_LANCE is not set
247 # CONFIG_LEDS_ALIX2 is not set
248 # CONFIG_LEDS_CLEVO_MAIL is not set
249 # CONFIG_LGUEST_GUEST is not set
250 # CONFIG_LOCK_KERNEL is not set
251 # CONFIG_M386 is not set
252 # CONFIG_M486 is not set
253 # CONFIG_M586 is not set
254 # CONFIG_M586MMX is not set
255 # CONFIG_M586TSC is not set
256 # CONFIG_M686 is not set
257 # CONFIG_MACHZ_WDT is not set
258 CONFIG_MATH_EMULATION=y
259 # CONFIG_MATOM is not set
260 # CONFIG_MCA is not set
261 # CONFIG_MCORE2 is not set
262 # CONFIG_MCRUSOE is not set
263 # CONFIG_MCYRIXIII is not set
264 # CONFIG_MDA_CONSOLE is not set
265 # CONFIG_MEFFICEON is not set
266 # CONFIG_MEMTEST is not set
267 # CONFIG_MGEODEGX1 is not set
268 # CONFIG_MGEODE_LX is not set
269 # CONFIG_MICROCODE_AMD is not set
270 CONFIG_MICROCODE_INTEL=y
271 CONFIG_MICROCODE_OLD_INTERFACE=y
273 # CONFIG_MIXCOMWD is not set
274 # CONFIG_MK6 is not set
275 # CONFIG_MK7 is not set
276 # CONFIG_MK8 is not set
277 # CONFIG_MOUSE_BCM5974 is not set
278 CONFIG_MOUSE_PS2_ALPS=y
279 # CONFIG_MOUSE_PS2_ELANTECH is not set
280 CONFIG_MOUSE_PS2_LIFEBOOK=y
281 CONFIG_MOUSE_PS2_LOGIPS2PP=y
282 CONFIG_MOUSE_PS2_SYNAPTICS=y
283 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
284 CONFIG_MOUSE_PS2_TRACKPOINT=y
286 # CONFIG_MOUSE_SERIAL is not set
287 # CONFIG_MOUSE_VSXXXAA is not set
288 # CONFIG_MPENTIUM4 is not set
289 # CONFIG_MPENTIUMIII is not set
290 # CONFIG_MPENTIUMII is not set
291 # CONFIG_MPENTIUMM is not set
292 # CONFIG_MPSC is not set
293 CONFIG_MTD_BLOCK2MTD=y
294 # CONFIG_MTD_CFI is not set
295 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
296 # CONFIG_MTD_TS5500 is not set
297 # CONFIG_MTRR_SANITIZER is not set
299 # CONFIG_MVIAC3_2 is not set
300 # CONFIG_MVIAC7 is not set
301 # CONFIG_MWINCHIP3D is not set
302 # CONFIG_MWINCHIPC6 is not set
304 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
305 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
306 # CONFIG_NET_NS is not set
307 CONFIG_NET_VENDOR_3COM=y
308 # CONFIG_NET_VENDOR_RACAL is not set
309 # CONFIG_NET_VENDOR_SMC is not set
310 CONFIG_NETWORK_FILESYSTEMS=y
312 # CONFIG_NR_CPUS is not set
313 # CONFIG_NSC_GPIO is not set
315 # CONFIG_OLPC is not set
316 # CONFIG_OPTIMIZE_INLINING is not set
317 CONFIG_OUTPUT_FORMAT="elf32-i386"
318 CONFIG_PAGEFLAGS_EXTENDED=y
319 CONFIG_PAGE_OFFSET=0xC0000000
320 # CONFIG_PARAVIRT_CLOCK is not set
321 # CONFIG_PARAVIRT_GUEST is not set
322 # CONFIG_PARAVIRT is not set
323 # CONFIG_PARAVIRT_SPINLOCKS is not set
326 CONFIG_PATA_OLDPIIX=y
329 # CONFIG_PC8736x_GPIO is not set
330 # CONFIG_PC87413_WDT is not set
334 # CONFIG_PCIEPORTBUS is not set
336 # CONFIG_PCI_GOBIOS is not set
337 # CONFIG_PCI_GODIRECT is not set
338 # CONFIG_PCI_GOMMCONFIG is not set
339 # CONFIG_PCI_GOOLPC is not set
340 CONFIG_PCI_MMCONFIG=y
342 CONFIG_PCSPKR_PLATFORM=y
343 # CONFIG_PCWATCHDOG is not set
344 # CONFIG_PDA_POWER is not set
345 # CONFIG_PERF_COUNTERS is not set
346 # CONFIG_PERF_EVENTS is not set
347 # CONFIG_PHYS_ADDR_T_64BIT is not set
348 CONFIG_PHYSICAL_ALIGN=0x100000
349 CONFIG_PHYSICAL_START=0x1000000
350 # CONFIG_PM_DEBUG is not set
351 # CONFIG_PM_RUNTIME is not set
352 # CONFIG_PM_SLEEP is not set
353 # CONFIG_PM_SLEEP_SMP is not set
356 # CONFIG_PNPBIOS is not set
357 CONFIG_PNP_DEBUG_MESSAGES=y
359 # CONFIG_POWER_SUPPLY_DEBUG is not set
360 CONFIG_POWER_SUPPLY=y
361 # CONFIG_PROCESSOR_SELECT is not set
362 CONFIG_PROC_PAGE_MONITOR=y
363 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
365 # CONFIG_RCU_FANOUT_EXACT is not set
366 # CONFIG_RCU_TRACE is not set
369 # CONFIG_RELOCATABLE is not set
371 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
372 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
373 # CONFIG_SBC7240_WDT is not set
374 # CONFIG_SBC8360_WDT is not set
375 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
376 # CONFIG_SC1200_WDT is not set
377 # CONFIG_SC520_WDT is not set
378 # CONFIG_SCHED_HRTICK is not set
379 # CONFIG_SCHED_MC is not set
380 CONFIG_SCHED_OMIT_FRAME_POINTER=y
381 # CONFIG_SCHED_SMT is not set
382 # CONFIG_SCSI_LOWLEVEL is not set
384 # CONFIG_SCx200_GPIO is not set
385 CONFIG_SCx200HR_TIMER=y
386 # CONFIG_SCx200_WDT is not set
388 # CONFIG_SERIAL_8250_EXTENDED is not set
389 CONFIG_SERIAL_8250_PCI=y
390 CONFIG_SERIAL_8250_PNP=y
391 # CONFIG_SERIO_CT82C710 is not set
393 CONFIG_SERIO_LIBPS2=y
394 # CONFIG_SERIO_PCIPS2 is not set
395 # CONFIG_SERIO_RAW is not set
396 CONFIG_SERIO_SERPORT=y
398 # CONFIG_SLAB is not set
399 # CONFIG_SLUB_DEBUG_ON is not set
401 # CONFIG_SLUB_STATS is not set
403 # CONFIG_SMP is not set
404 # CONFIG_SMSC37B787_WDT is not set
405 # CONFIG_SMSC_SCH311X_WDT is not set
406 # CONFIG_SPARSE_IRQ is not set
407 CONFIG_SPARSEMEM_STATIC=y
408 # CONFIG_STOP_MACHINE is not set
409 CONFIG_STRICT_DEVMEM=y
410 # CONFIG_SUSPEND is not set
411 # CONFIG_SYS_HYPERVISOR is not set
412 # CONFIG_TC1100_WMI is not set
413 # CONFIG_TELCLOCK is not set
415 # CONFIG_THINKPAD_ACPI is not set
416 # CONFIG_TOPSTAR_LAPTOP is not set
417 # CONFIG_TOSHIBA is not set
418 # CONFIG_TREE_PREEMPT_RCU is not set
420 # CONFIG_TYPHOON is not set
423 # CONFIG_USE_GENERIC_SMP_HELPERS is not set
424 # CONFIG_USER_NS is not set
425 CONFIG_USER_STACKTRACE_SUPPORT=y
426 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
429 CONFIG_VM_EVENT_COUNTERS=y
430 # CONFIG_VMI is not set
431 # CONFIG_VORTEX is not set
433 # CONFIG_VT_HW_CONSOLE_BINDING is not set
435 # CONFIG_W83697UG_WDT is not set
436 # CONFIG_WAFER_WDT is not set
437 # CONFIG_WDT is not set
438 CONFIG_X86_32_LAZY_GS=y
439 # CONFIG_X86_32_SMP is not set
441 # CONFIG_X86_64 is not set
442 # CONFIG_X86_ACPI_CPUFREQ is not set
443 # CONFIG_X86_ANCIENT_MCE is not set
444 # CONFIG_X86_BIGSMP is not set
446 # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set
447 # CONFIG_X86_CMOV is not set
448 # CONFIG_X86_CMPXCHG64 is not set
450 # CONFIG_X86_CPU_DEBUG is not set
451 # CONFIG_X86_CPUFREQ_NFORCE2 is not set
452 # CONFIG_X86_CPUID is not set
454 # CONFIG_X86_DEBUGCTLMSR is not set
455 # CONFIG_X86_DS is not set
456 # CONFIG_X86_ELAN is not set
457 # CONFIG_X86_E_POWERSAVER is not set
458 # CONFIG_X86_EXTENDED_PLATFORM is not set
459 CONFIG_X86_F00F_BUG=y
461 # CONFIG_X86_GX_SUSPMOD is not set
462 # CONFIG_X86_HT is not set
463 CONFIG_X86_INTEL_USERCOPY=y
464 CONFIG_X86_INTERNODE_CACHE_BYTES=64
467 CONFIG_X86_L1_CACHE_BYTES=64
468 CONFIG_X86_L1_CACHE_SHIFT=6
469 CONFIG_X86_LOCAL_APIC=y
470 # CONFIG_X86_LONGHAUL is not set
471 # CONFIG_X86_LONGRUN is not set
473 # CONFIG_X86_MCE_INJECT is not set
474 CONFIG_X86_MCE_INTEL=y
475 CONFIG_X86_MCE_THRESHOLD=y
477 CONFIG_X86_MINIMUM_CPU_FAMILY=4
479 # CONFIG_X86_MRST is not set
480 # CONFIG_X86_MSR is not set
481 # CONFIG_X86_OLD_MCE is not set
482 # CONFIG_X86_P4_CLOCKMOD is not set
483 # CONFIG_X86_PAE is not set
485 CONFIG_X86_PLATFORM_DEVICES=y
486 CONFIG_X86_PM_TIMER=y
487 CONFIG_X86_POPAD_OK=y
488 # CONFIG_X86_POWERNOW_K6 is not set
489 # CONFIG_X86_POWERNOW_K7 is not set
490 # CONFIG_X86_POWERNOW_K8 is not set
491 CONFIG_X86_PPRO_FENCE=y
492 # CONFIG_X86_RDC321X is not set
493 # CONFIG_X86_REBOOTFIXUPS is not set
494 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
495 CONFIG_X86_RESERVE_LOW_64K=y
496 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
497 # CONFIG_X86_SPEEDSTEP_ICH is not set
498 # CONFIG_X86_SPEEDSTEP_LIB is not set
499 # CONFIG_X86_SPEEDSTEP_SMI is not set
500 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
501 CONFIG_X86_THERMAL_VECTOR=y
502 # CONFIG_X86_TRAMPOLINE is not set
503 # CONFIG_X86_TSC is not set
505 CONFIG_X86_UP_IOAPIC=y
506 # CONFIG_X86_USE_PPRO_CHECKSUM is not set
507 CONFIG_X86_VERBOSE_BOOTUP=y
508 CONFIG_X86_WP_WORKS_OK=y
511 # CONFIG_XEN_BALLOON is not set
512 # CONFIG_XEN_BLKDEV_FRONTEND is not set
513 # CONFIG_XEN_DEBUG_FS is not set
514 # CONFIG_XEN_DEV_EVTCHN is not set
515 # CONFIG_XENFS is not set
516 # CONFIG_XEN is not set
517 # CONFIG_XEN_MAX_DOMAIN_MEMORY is not set
518 # CONFIG_XEN_NETDEV_FRONTEND is not set
519 # CONFIG_XEN_SAVE_RESTORE is not set
520 # CONFIG_XEN_SCRUB_PAGES is not set
521 # CONFIG_XEN_SYS_HYPERVISOR is not set
522 # CONFIG_ZONE_DMA32 is not set