| # global x86 required specific stuff | |
| # On 32-bit HIGHMEM4G is not allowed | |
| CONFIG_HIGHMEM64G=y | |
| CONFIG_64BIT=y | |
| # These enable us to allow some of the | |
| # not so generic stuff below | |
| CONFIG_HYPERVISOR_GUEST=y | |
| CONFIG_PCI=y | |
| CONFIG_PCI_MSI=y | |
| CONFIG_X86_MCE=y | |
| CONFIG_ACPI_PROCESSOR=y | |
| CONFIG_CPU_FREQ=y | |
| # x86 xen specific config options | |
| CONFIG_XEN_PVH=y | |
| CONFIG_XEN_MAX_DOMAIN_MEMORY=500 | |
| CONFIG_XEN_SAVE_RESTORE=y | |
| # CONFIG_XEN_DEBUG_FS is not set | |
| CONFIG_XEN_MCE_LOG=y | |
| CONFIG_XEN_ACPI_PROCESSOR=m | |
| # x86 specific backend drivers | |
| CONFIG_XEN_PCIDEV_BACKEND=m | |
| # x86 specific frontend drivers | |
| CONFIG_XEN_PCIDEV_FRONTEND=m | |
| # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, | |
| # move to generic config if it ever does. | |
| CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y |