1 # global x86 required specific stuff
2 # On 32-bit HIGHMEM4G is not allowed
6 # These enable us to allow some of the
7 # not so generic stuff below
8 CONFIG_HYPERVISOR_GUEST=y
12 CONFIG_ACPI_PROCESSOR=y
15 # x86 xen specific config options
17 CONFIG_XEN_SAVE_RESTORE=y
18 # CONFIG_XEN_DEBUG_FS is not set
20 CONFIG_XEN_ACPI_PROCESSOR=m
21 # x86 specific backend drivers
22 CONFIG_XEN_PCIDEV_BACKEND=m
23 # x86 specific frontend drivers
24 CONFIG_XEN_PCIDEV_FRONTEND=m
25 # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
26 # move to generic config if it ever does.
27 CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y