--- /dev/null
+# CONFIG_ACPI_CUSTOM_DSDT is not set
+# CONFIG_APM is not set
+# CONFIG_DEBUG_BUGVERBOSE is not set
+# CONFIG_KERNEL_LZMA is not set
+# CONFIG_KVM_CLOCK is not set
+# CONFIG_KVM_GUEST is not set
+# CONFIG_LGUEST_GUEST is not set
+# CONFIG_M386 is not set
+# CONFIG_NETWORK_FILESYSTEMS is not set
+# CONFIG_PARAVIRT_SPINLOCKS is not set
+# CONFIG_PERF_COUNTERS is not set
+# CONFIG_RWSEM_GENERIC_SPINLOCK is not set
+# CONFIG_SCHED_SMT is not set
+# CONFIG_VMI is not set
+# CONFIG_X86_BIGSMP is not set
+# CONFIG_X86_DS is not set
+# CONFIG_X86_EXTENDED_PLATFORM is not set
+# CONFIG_X86_PLATFORM_DEVICES is not set
+# CONFIG_XENFS is not set
+# CONFIG_XEN_DEBUG_FS is not set
+# CONFIG_XEN_DEV_EVTCHN is not set
+# CONFIG_XEN_NETDEV_FRONTEND is not set
+CONFIG_ACPI_CONTAINER=y
+CONFIG_ACPI_HOTPLUG_CPU=y
+CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
+CONFIG_CPU_IDLE=y
+CONFIG_CPU_IDLE_GOV_LADDER=y
+CONFIG_FREEZER=y
+CONFIG_GENERIC_PENDING_IRQ=y
+CONFIG_HAVE_KERNEL_LZO=y
+CONFIG_HAVE_PERF_COUNTERS=y
+CONFIG_HOTPLUG_CPU=y
+CONFIG_HPET_EMULATE_RTC=y
+CONFIG_HPET_TIMER=y
+CONFIG_HVC_DRIVER=y
+CONFIG_HVC_IRQ=y
+CONFIG_HVC_XEN=y
+CONFIG_KERNEL_GZIP=y
+CONFIG_LOCK_KERNEL=y
+CONFIG_MARKERS=y
+CONFIG_MPENTIUM4=y
+CONFIG_NR_CPUS=2
+CONFIG_PARAVIRT=y
+CONFIG_PARAVIRT_CLOCK=y
+CONFIG_PARAVIRT_GUEST=y
+CONFIG_PCI_MMCONFIG=y
+CONFIG_PHYS_ADDR_T_64BIT=y
+CONFIG_PM_SLEEP=y
+CONFIG_PM_SLEEP_SMP=y
+CONFIG_PNPACPI=y
+CONFIG_POWER_SUPPLY=y
+CONFIG_RWSEM_XCHGADD_ALGORITHM=y
+CONFIG_SCHED_MC=y
+CONFIG_SMP=y
+CONFIG_SPARSE_IRQ=y
+CONFIG_STOP_MACHINE=y
+CONFIG_SYS_HYPERVISOR=y
+CONFIG_THERMAL=y
+CONFIG_TRACEPOINTS=y
+CONFIG_USE_GENERIC_SMP_HELPERS=y
+CONFIG_X86_32_SMP=y
+CONFIG_X86_BSWAP=y
+CONFIG_X86_CMOV=y
+CONFIG_X86_CMPXCHG64=y
+CONFIG_X86_CMPXCHG=y
+CONFIG_X86_DEBUGCTLMSR=y
+CONFIG_X86_HT=y
+CONFIG_X86_INVLPG=y
+CONFIG_X86_L1_CACHE_SHIFT=7
+CONFIG_X86_MINIMUM_CPU_FAMILY=4
+CONFIG_X86_PAE=y
+CONFIG_X86_POPAD_OK=y
+CONFIG_X86_TRAMPOLINE=y
+CONFIG_X86_TSC=y
+CONFIG_X86_USE_PPRO_CHECKSUM=y
+CONFIG_X86_WP_WORKS_OK=y
+CONFIG_X86_XADD=y
+CONFIG_XEN=y
+CONFIG_XEN_BALLOON=y
+CONFIG_XEN_BLKDEV_FRONTEND=y
+CONFIG_XEN_MAX_DOMAIN_MEMORY=8
+CONFIG_XEN_SAVE_RESTORE=y
+CONFIG_XEN_SCRUB_PAGES=y
+CONFIG_XEN_SYS_HYPERVISOR=y