0001 # global x86 required specific stuff
0002 # On 32-bit HIGHMEM4G is not allowed
0003 CONFIG_HIGHMEM64G=y
0004 CONFIG_64BIT=y
0005
0006 # These enable us to allow some of the
0007 # not so generic stuff below
0008 CONFIG_HYPERVISOR_GUEST=y
0009 CONFIG_PCI=y
0010 CONFIG_PCI_MSI=y
0011 CONFIG_X86_MCE=y
0012 CONFIG_ACPI_PROCESSOR=y
0013 CONFIG_CPU_FREQ=y
0014
0015 # x86 xen specific config options
0016 CONFIG_XEN_PVH=y
0017 CONFIG_XEN_SAVE_RESTORE=y
0018 # CONFIG_XEN_DEBUG_FS is not set
0019 CONFIG_XEN_MCE_LOG=y
0020 CONFIG_XEN_ACPI_PROCESSOR=m
0021 # x86 specific backend drivers
0022 CONFIG_XEN_PCIDEV_BACKEND=m
0023 # x86 specific frontend drivers
0024 CONFIG_XEN_PCIDEV_FRONTEND=m
0025 # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet,
0026 # move to generic config if it ever does.
0027 CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
