16c668505SLuis R. Rodriguez# global x86 required specific stuff 26c668505SLuis R. Rodriguez# On 32-bit HIGHMEM4G is not allowed 36c668505SLuis R. RodriguezCONFIG_HIGHMEM64G=y 46c668505SLuis R. RodriguezCONFIG_64BIT=y 56c668505SLuis R. Rodriguez 66c668505SLuis R. Rodriguez# These enable us to allow some of the 76c668505SLuis R. Rodriguez# not so generic stuff below 86c668505SLuis R. RodriguezCONFIG_HYPERVISOR_GUEST=y 96c668505SLuis R. RodriguezCONFIG_PCI=y 106c668505SLuis R. RodriguezCONFIG_PCI_MSI=y 116c668505SLuis R. RodriguezCONFIG_X86_MCE=y 126c668505SLuis R. RodriguezCONFIG_ACPI_PROCESSOR=y 136c668505SLuis R. RodriguezCONFIG_CPU_FREQ=y 146c668505SLuis R. Rodriguez 156c668505SLuis R. Rodriguez# x86 xen specific config options 166c668505SLuis R. RodriguezCONFIG_XEN_PVH=y 176c668505SLuis R. RodriguezCONFIG_XEN_SAVE_RESTORE=y 186c668505SLuis R. Rodriguez# CONFIG_XEN_DEBUG_FS is not set 196c668505SLuis R. RodriguezCONFIG_XEN_MCE_LOG=y 206c668505SLuis R. RodriguezCONFIG_XEN_ACPI_PROCESSOR=m 216c668505SLuis R. Rodriguez# x86 specific backend drivers 226c668505SLuis R. RodriguezCONFIG_XEN_PCIDEV_BACKEND=m 236c668505SLuis R. Rodriguez# x86 specific frontend drivers 246c668505SLuis R. RodriguezCONFIG_XEN_PCIDEV_FRONTEND=m 256c668505SLuis R. Rodriguez# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 266c668505SLuis R. Rodriguez# move to generic config if it ever does. 276c668505SLuis R. RodriguezCONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y 28