# Linux kernel version: 2.6.16.13-native
# Mon May 15 10:59:54 2006
#
CONFIG_X86_PC=y
# CONFIG_X86_XEN is not set
# CONFIG_HPET_TIMER is not set
# CONFIG_SCHED_SMT is not set
# CONFIG_X86_MCE is not set
# CONFIG_X86_MSR is not set
# CONFIG_SWIOTLB is not set
# CONFIG_EDD is not set
CONFIG_ARCH_FLATMEM_ENABLE=y
CONFIG_ARCH_SPARSEMEM_ENABLE=y
CONFIG_ARCH_SELECT_MEMORY_MODEL=y
CONFIG_SPARSEMEM_STATIC=y
CONFIG_SPLIT_PTLOCK_CPUS=4
# CONFIG_HIGHPTE is not set
# CONFIG_MATH_EMULATION is not set
# CONFIG_EFI is not set
CONFIG_IRQBALANCE=y
# CONFIG_KEXEC is not set
CONFIG_DOUBLEFAULT=y
CONFIG_PM_LEGACY=y
# CONFIG_PM_DEBUG is not set
# CONFIG_SOFTWARE_SUSPEND is not set
CONFIG_SUSPEND_SMP=y
CONFIG_ACPI_SLEEP=y
CONFIG_ACPI_SLEEP_PROC_FS=y
# CONFIG_ACPI_SLEEP_PROC_SLEEP is not set
CONFIG_X86_PM_TIMER=y
# APM (Advanced Power Management) BIOS Support
#
# CONFIG_APM is not set

#
CONFIG_PCI_BIOS=y
# CONFIG_XEN_PCIDEV_FRONTEND is not set
# CONFIG_XEN_PCIDEV_FE_DEBUG is not set
# CONFIG_PCI_MSI is not set
# CONFIG_ISA is not set
# CONFIG_MCA is not set
# CONFIG_HOTPLUG_PCI_COMPAQ is not set
# CONFIG_HOTPLUG_PCI_IBM is not set
# CONFIG_I2O_EXT_ADAPTEC_DMA64 is not set
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_CORE=y
CONFIG_SERIAL_CORE_CONSOLE=y
# CONFIG_TCG_XEN is not set
# CONFIG_HUGETLBFS is not set
# CONFIG_XEN is not set
# CONFIG_XEN_INTERFACE_VERSION is not set

#
# XEN
#
# CONFIG_XEN_PRIVILEGED_GUEST is not set
# CONFIG_XEN_UNPRIVILEGED_GUEST is not set
# CONFIG_XEN_BACKEND is not set
# CONFIG_XEN_PCIDEV_BACKEND is not set
# CONFIG_XEN_PCIDEV_BACKEND_VPCI is not set
# CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
# CONFIG_XEN_PCIDEV_BE_DEBUG is not set
# CONFIG_XEN_BLKDEV_BACKEND is not set
# CONFIG_XEN_BLKDEV_TAP_BE is not set
# CONFIG_XEN_NETDEV_BACKEND is not set
# CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
# CONFIG_XEN_NETDEV_LOOPBACK is not set
# CONFIG_XEN_TPMDEV_BACKEND is not set
# CONFIG_XEN_BLKDEV_FRONTEND is not set
# CONFIG_XEN_NETDEV_FRONTEND is not set
# CONFIG_XEN_BLKDEV_TAP is not set
# CONFIG_XEN_SCRUB_PAGES is not set
# CONFIG_XEN_DISABLE_SERIAL is not set
# CONFIG_XEN_SYSFS is not set
# CONFIG_XEN_COMPAT_030002_AND_LATER is not set
# CONFIG_XEN_COMPAT_030004_AND_LATER is not set
# CONFIG_XEN_COMPAT_LATEST_ONLY is not set
# CONFIG_XEN_COMPAT_030002 is not set
# CONFIG_XEN_COMPAT_030004 is not set
# CONFIG_HAVE_ARCH_ALLOC_SKB is not set
# CONFIG_HAVE_ARCH_DEV_ALLOC_SKB is not set
# CONFIG_NO_IDLE_HZ is not set
CONFIG_X86_HT=y
# CONFIG_X86_NO_TSS is not set
# CONFIG_X86_NO_IDT is not set
