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_SAVE_RESTORE=y 18 # CONFIG_XEN_DEBUG_FS is not set 19 CONFIG_XEN_MCE_LOG=y 20 CONFIG_XEN_ACPI_PROCESSOR=m 21 # x86 specific backend drivers 22 CONFIG_XEN_PCIDEV_BACKEND=m 23 # x86 specific frontend drivers 24 CONFIG_XEN_PCIDEV_FRONTEND=m 25 # depends on MEMORY_HOTPLUG, arm64 doesn't enable this yet, 26 # move to generic config if it ever does. 27 CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.