1# global x86 required specific stuff 2# On 32-bit HIGHMEM4G is not allowed 3CONFIG_HIGHMEM64G=y 4CONFIG_64BIT=y 5 6# These enable us to allow some of the 7# not so generic stuff below 8CONFIG_HYPERVISOR_GUEST=y 9CONFIG_PCI=y 10CONFIG_PCI_MSI=y 11CONFIG_X86_MCE=y 12CONFIG_ACPI_PROCESSOR=y 13CONFIG_CPU_FREQ=y 14 15# x86 xen specific config options 16CONFIG_XEN_PVH=y 17CONFIG_XEN_MAX_DOMAIN_MEMORY=500 18CONFIG_XEN_SAVE_RESTORE=y 19# CONFIG_XEN_DEBUG_FS is not set 20CONFIG_XEN_MCE_LOG=y 21CONFIG_XEN_ACPI_PROCESSOR=m 22# x86 specific backend drivers 23CONFIG_XEN_PCIDEV_BACKEND=m 24# x86 specific frontend drivers 25CONFIG_XEN_PCIDEV_FRONTEND=m 26# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 27# move to generic config if it ever does. 28CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y 29