kernel/arch/x86/configs/xen.config

   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