| Luis R. Rodriguez | 6c66850 | 2015-05-20 11:53:39 -0700 | [diff] [blame] | 1 | # global x86 required specific stuff |
| 2 | # On 32-bit HIGHMEM4G is not allowed |
| 3 | CONFIG_HIGHMEM64G=y |
| 4 | CONFIG_64BIT=y |
| 5 | |
| 6 | # These enable us to allow some of the |
| 7 | # not so generic stuff below |
| 8 | CONFIG_HYPERVISOR_GUEST=y |
| 9 | CONFIG_PCI=y |
| 10 | CONFIG_PCI_MSI=y |
| 11 | CONFIG_X86_MCE=y |
| 12 | CONFIG_ACPI_PROCESSOR=y |
| 13 | CONFIG_CPU_FREQ=y |
| 14 | |
| 15 | # x86 xen specific config options |
| 16 | CONFIG_XEN_PVH=y |
| 17 | CONFIG_XEN_MAX_DOMAIN_MEMORY=500 |
| 18 | CONFIG_XEN_SAVE_RESTORE=y |
| 19 | # CONFIG_XEN_DEBUG_FS is not set |
| 20 | CONFIG_XEN_MCE_LOG=y |
| 21 | CONFIG_XEN_ACPI_PROCESSOR=m |
| 22 | # x86 specific backend drivers |
| 23 | CONFIG_XEN_PCIDEV_BACKEND=m |
| 24 | # x86 specific frontend drivers |
| 25 | CONFIG_XEN_PCIDEV_FRONTEND=m |
| 26 | # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, |
| 27 | # move to generic config if it ever does. |
| 28 | CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y |