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
15CONFIG_XEN_SAVE_RESTORE=y
16# CONFIG_XEN_DEBUG_FS is not set
17CONFIG_XEN_MCE_LOG=y
18CONFIG_XEN_ACPI_PROCESSOR=m
19# x86 specific backend drivers
20CONFIG_XEN_PCIDEV_BACKEND=m
21# x86 specific frontend drivers
22CONFIG_XEN_PCIDEV_FRONTEND=m
23# depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
24# move to generic config if it ever does.
25CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
26