# CONFIG_APM is not set CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y CONFIG_ARCH_PHYS_ADDR_T_64BIT=y CONFIG_ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH=y # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set CONFIG_CPU_RMAP=y # CONFIG_DEBUG_HOTPLUG_CPU0 is not set CONFIG_FREEZER=y CONFIG_GENERIC_PENDING_IRQ=y CONFIG_HAVE_ARCH_HUGE_VMAP=y CONFIG_HIBERNATE_CALLBACKS=y # CONFIG_HIGHMEM64G is not set CONFIG_HOTPLUG_CPU=y CONFIG_HVC_DRIVER=y CONFIG_HVC_IRQ=y CONFIG_HVC_XEN=y CONFIG_HVC_XEN_FRONTEND=y CONFIG_HYPERVISOR_GUEST=y CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y CONFIG_IOMMU_HELPER=y CONFIG_KERNEL_GZIP=y # CONFIG_KERNEL_XZ is not set # CONFIG_LGUEST_GUEST is not set CONFIG_LOCK_SPIN_ON_OWNER=y # CONFIG_M486 is not set CONFIG_MMU_NOTIFIER=y CONFIG_MPENTIUM4=y CONFIG_MUTEX_SPIN_ON_OWNER=y CONFIG_NEED_DMA_MAP_STATE=y CONFIG_NET_FLOW_LIMIT=y CONFIG_NR_CPUS=4 CONFIG_PARAVIRT=y CONFIG_PARAVIRT_CLOCK=y # CONFIG_PARAVIRT_DEBUG is not set CONFIG_PARAVIRT_SPINLOCKS=y # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set CONFIG_PCI_XEN=y CONFIG_PGTABLE_LEVELS=3 CONFIG_PHYS_ADDR_T_64BIT=y CONFIG_PM=y # CONFIG_PM_DEBUG is not set CONFIG_PM_SLEEP=y CONFIG_PM_SLEEP_SMP=y CONFIG_QUEUED_RWLOCKS=y CONFIG_QUEUED_SPINLOCKS=y CONFIG_RCU_STALL_COMMON=y CONFIG_RFS_ACCEL=y CONFIG_RPS=y CONFIG_RWSEM_SPIN_ON_OWNER=y CONFIG_SCHED_MC=y CONFIG_SLUB_CPU_PARTIAL=y CONFIG_SMP=y CONFIG_SWIOTLB=y CONFIG_SWIOTLB_XEN=y CONFIG_SYS_HYPERVISOR=y CONFIG_TREE_RCU=y CONFIG_VT_CONSOLE_SLEEP=y CONFIG_X86_32_SMP=y # CONFIG_X86_BIGSMP is not set CONFIG_X86_CMOV=y CONFIG_X86_CMPXCHG64=y CONFIG_X86_DEBUGCTLMSR=y CONFIG_X86_INTERNODE_CACHE_SHIFT=7 CONFIG_X86_L1_CACHE_SHIFT=7 CONFIG_X86_MINIMUM_CPU_FAMILY=5 CONFIG_X86_PAE=y # CONFIG_X86_PMEM_LEGACY is not set CONFIG_X86_TSC=y CONFIG_X86_USE_PPRO_CHECKSUM=y CONFIG_XEN=y # CONFIG_XENFS is not set CONFIG_XEN_AUTO_XLATE=y CONFIG_XEN_BALLOON=y CONFIG_XEN_BLKDEV_FRONTEND=y CONFIG_XEN_DEBUG_FS=y # CONFIG_XEN_DEV_EVTCHN is not set CONFIG_XEN_GNTDEV=m CONFIG_XEN_GRANT_DEV_ALLOC=m CONFIG_XEN_HAVE_PVMMU=y CONFIG_XEN_HAVE_VPMU=y # CONFIG_XEN_NETDEV_FRONTEND is not set # CONFIG_XEN_PCIDEV_FRONTEND is not set CONFIG_XEN_PRIVCMD=m CONFIG_XEN_PVHVM=y CONFIG_XEN_SAVE_RESTORE=y CONFIG_XEN_SCRUB_PAGES=y CONFIG_XEN_SCSI_FRONTEND=y CONFIG_XEN_SYS_HYPERVISOR=y # CONFIG_XEN_WDT is not set CONFIG_XEN_XENBUS_FRONTEND=y CONFIG_XPS=y