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