| 123456789101112131415161718192021222324252627 |
- # 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_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
|
