1*4882a593Smuzhiyun# global x86 required specific stuff 2*4882a593Smuzhiyun# On 32-bit HIGHMEM4G is not allowed 3*4882a593SmuzhiyunCONFIG_HIGHMEM64G=y 4*4882a593SmuzhiyunCONFIG_64BIT=y 5*4882a593Smuzhiyun 6*4882a593Smuzhiyun# These enable us to allow some of the 7*4882a593Smuzhiyun# not so generic stuff below 8*4882a593SmuzhiyunCONFIG_HYPERVISOR_GUEST=y 9*4882a593SmuzhiyunCONFIG_PCI=y 10*4882a593SmuzhiyunCONFIG_PCI_MSI=y 11*4882a593SmuzhiyunCONFIG_X86_MCE=y 12*4882a593SmuzhiyunCONFIG_ACPI_PROCESSOR=y 13*4882a593SmuzhiyunCONFIG_CPU_FREQ=y 14*4882a593Smuzhiyun 15*4882a593Smuzhiyun# x86 xen specific config options 16*4882a593SmuzhiyunCONFIG_XEN_PVH=y 17*4882a593SmuzhiyunCONFIG_XEN_MAX_DOMAIN_MEMORY=500 18*4882a593SmuzhiyunCONFIG_XEN_SAVE_RESTORE=y 19*4882a593Smuzhiyun# CONFIG_XEN_DEBUG_FS is not set 20*4882a593SmuzhiyunCONFIG_XEN_MCE_LOG=y 21*4882a593SmuzhiyunCONFIG_XEN_ACPI_PROCESSOR=m 22*4882a593Smuzhiyun# x86 specific backend drivers 23*4882a593SmuzhiyunCONFIG_XEN_PCIDEV_BACKEND=m 24*4882a593Smuzhiyun# x86 specific frontend drivers 25*4882a593SmuzhiyunCONFIG_XEN_PCIDEV_FRONTEND=m 26*4882a593Smuzhiyun# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 27*4882a593Smuzhiyun# move to generic config if it ever does. 28*4882a593SmuzhiyunCONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y 29