1*6c668505SLuis R. Rodriguez# global x86 required specific stuff 2*6c668505SLuis R. Rodriguez# On 32-bit HIGHMEM4G is not allowed 3*6c668505SLuis R. RodriguezCONFIG_HIGHMEM64G=y 4*6c668505SLuis R. RodriguezCONFIG_64BIT=y 5*6c668505SLuis R. Rodriguez 6*6c668505SLuis R. Rodriguez# These enable us to allow some of the 7*6c668505SLuis R. Rodriguez# not so generic stuff below 8*6c668505SLuis R. RodriguezCONFIG_HYPERVISOR_GUEST=y 9*6c668505SLuis R. RodriguezCONFIG_PCI=y 10*6c668505SLuis R. RodriguezCONFIG_PCI_MSI=y 11*6c668505SLuis R. RodriguezCONFIG_X86_MCE=y 12*6c668505SLuis R. RodriguezCONFIG_ACPI_PROCESSOR=y 13*6c668505SLuis R. RodriguezCONFIG_CPU_FREQ=y 14*6c668505SLuis R. Rodriguez 15*6c668505SLuis R. Rodriguez# x86 xen specific config options 16*6c668505SLuis R. RodriguezCONFIG_XEN_PVH=y 17*6c668505SLuis R. RodriguezCONFIG_XEN_SAVE_RESTORE=y 18*6c668505SLuis R. Rodriguez# CONFIG_XEN_DEBUG_FS is not set 19*6c668505SLuis R. RodriguezCONFIG_XEN_MCE_LOG=y 20*6c668505SLuis R. RodriguezCONFIG_XEN_ACPI_PROCESSOR=m 21*6c668505SLuis R. Rodriguez# x86 specific backend drivers 22*6c668505SLuis R. RodriguezCONFIG_XEN_PCIDEV_BACKEND=m 23*6c668505SLuis R. Rodriguez# x86 specific frontend drivers 24*6c668505SLuis R. RodriguezCONFIG_XEN_PCIDEV_FRONTEND=m 25*6c668505SLuis R. Rodriguez# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 26*6c668505SLuis R. Rodriguez# move to generic config if it ever does. 27*6c668505SLuis R. RodriguezCONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y 28