xen.config

 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