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